Matematická logika

Documents for download
Record Details
MARC
Field Ind Field content
leader -----nam-a22------a-4500
1 kpw5196937
3 CZ-OsVSB
5 20210822083733.1
8 950227|n|anznnbabn#############a|a######
72 #0 $a MDT 510.6
72 #0 $a Skupina Konspektu 510 - Obecné úvahy o matematice [13]
150 $a Matematická logika
550 $a Rozhodnutelnost $w h
550 $a Vícehodnotová logika $w h
550 $a Gödelova teorie $w h
550 $a Kvantová logika $w h
550 $a Logika $w g
550 $a Kombinatorické logiky $w h
550 $a Kauzalita (matematika) $w h
550 $a Algebraická logika
550 $a Formální logika
550 $a Jazyk a logika
550 $a Fuzzy logika $w h
907 $a matematický obor zkoumající obsahové logické myšlení (postupy, usuzování a dokazování) prostřednictvím zobrazení ve formálních logických soustavách (kalkulech)
1090 $a 1995/02/27 $b 2006/10/04 $c OSD 002/S1T80 $d OSD 002/S1T80
Processing history
Permanent link