Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Matemaatilise loogika elemendid

Matemaatilise loogika elemendid

Siin lehel on 1999. aasta kevadsemestri aine "Matemaatilise loogika elemendid" praksimaterjalid (viimati uuendatud 7.06.99)

DVI-kujul
PostScript+GNUzip kujul

Kontrolltööde ülesanded, lahendused ja tulemused

Siin on

predikaatarvutuse esimese töö ülesanded DVI-kujul ja ps.gz-kujul,
predikaatarvutuse esimese töö A-rühma ülesannete lahendused DVI-kujul ja ps.gz-kujul,
predikaatarvutuse teise töö ülesanded DVI-kujul ja ps.gz-kujul,
predikaatarvutuse teise töö ülesannete lahendused DVI-kujul ja ps.gz-kujul,
predikaatarvutuse järeltöö ülesanded DVI-kujul ja ps.gz-kujul,
predikaatarvutuse järeltöö ülesannete lahendused DVI-kujul ja ps.gz-kujul,
predikaatarvutuse teise järeltöö ülesanded DVI-kujul ja ps.gz-kujul,
predikaatarvutuse teise töö tulemused,
predikaatarvutuse järeltöö tulemused,
predikaatarvutuse teise järeltöö tulemused ja
kõigi tööde tulemuste koondtabel.

Kasulik kaeda

Väga kasulik on vaadata 98. aasta sügisel Reimo Palmi poolt rakendusinformaatikutele loetud matemaatilise loogika kursuse materjale.

Samuti kirjutas Härmel Nestra väikese (tegelikult päris pika) jutu Turingi masinatest.