Matemaatiline loogika
Ivar Kull · Eesti Riiklik Kirjastus · 1964
Matemaatiline loogika
Ivar Kull · Eesti Riiklik Kirjastus · 1964
Käesoleva õpiku ülesandeks on lugejat tutvustada kaasaegse matemaatilise loogika põhilisemate arvutussüsteemide – lausearvutuse ja predikaatarvutusega, mis on ka seni kõige rohkem rakendamist leidnud loogilised arvutussüsteemid.
Pakiautomaati 1–2 p Tule ise järele*Hinnad kehtivad veebipoest ostmisel; kauplustes võivad hinnad erineda
Detailid
- Autor
- Ivar Kull
- Aasta
- 1964
- Kirjastus
- Eesti Riiklik Kirjastus
- Keel
- eesti
- Köide
- Kõva kaas
- Lehekülgi
- 222
- Kaanekujundaja
- Helmut Polberg
- Mõõdud
- 220 × 150 mm
- Kaal
- 300 g
- Artikkel
- R0042128
- Märksõnad
- arvutussüsteemid, kõrgkooliõpikud, lausearvutused, loogika, matemaatiline loogika, predikaatarvutused