Lambda-kalkulus
- ISBN 13 : 9639664464
- ISBN 10 : 9789639664463
- Judul : Lambda-kalkulus
- Pengarang : ,
- Penerbit : Typotex Kft
- Bahasa : hu
- Tahun : 2007
- Halaman : 296
- Halaman : 296
- Google Book : http://books.google.com/books?id=3TI6EYCxTmoC&dq=intitle:kalkulus+1&hl=&source=gbs_api
-
Ketersediaan :
Hasonlóan a λη-kalkulus (a 2.5.1. és 2.6.3. axiómákkal), a λ+ext-kalkulus (a 2.5.1
. és 2.6.5. axiómákkal) és a konstansos típusnélküli λ-kalkulus (az 1.1.1. és 4.7.3.
szintaktikai szabályokkal) mindegyike formális (egyenl ̋oségi) elmélet. Ebben ...