Export byl úspěšný — 

Problém rozhodnutelnosti v predikátovém kalkulu I. stupně

Uloženo v:
Podrobná bibliografie
Hlavní autor: Glanc, Alois (Autor práce)
Další autoři: Hořejš, Jiří, 1933-2001 (Vedoucí práce)
Typ dokumentu: VŠ práce nebo rukopis
Jazyk:Čeština
Vydáno: 1966.
Témata:
matematická logika
predikátová logika
programování
mathematical logic
predicate calculus
programming
diplomové práce
master's theses
Obálka
LEADER 02142ntm a22005417a 4500
001 MUB01000618454
003 CZ BrMU
005 20100305074031.0
008 100305s1966 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2019-05-06 
040 |a BOD004  |b cze 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 510.635  |2 MRF 
080 |a 004.42  |2 MRF 
080 |a 510  |2 MRF 
100 1 |a Glanc, Alois  |7 jk01032455  |4 dis 
245 1 0 |a Problém rozhodnutelnosti v predikátovém kalkulu I. stupně  |h [rukopis] /  |c Aloie Glanc. 
260 |c 1966. 
300 |a 39 l. 
500 |a Vedoucí práce: Jiří Hořejš. 
502 |a Diplomová práce (Mgr.)--Universita J.E. Purkyně v Brně, Přírodovědecká fakulta, 1966. 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a predikátová logika  |7 ph124584  |2 czenas 
650 0 7 |a programování  |7 ph115891  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a predicate calculus  |2 eczenas 
650 0 9 |a programming  |2 eczenas 
655 7 |a diplomové práce  |7 fd132022  |2 czenas 
655 9 |a master's theses  |2 eczenas 
700 1 |a Hořejš, Jiří,  |d 1933-2001  |7 jk01042321  |4 ths 
710 2 |a Univerzita J.E. Purkyně v Brně.  |b Přírodovědecká fakulta  |7 kn20010709351  |4 dgg 
CAT |a KOSKOVA  |b 02  |c 20100305  |l MUB01  |h 0740 
CAT |a BATCH-UPD  |b 02  |c 20100501  |l MUB01  |h 1232 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0136 
CAT |c 20120610  |l MUB01  |h 2003 
CAT |a POSPEL  |b 02  |c 20121017  |l MUB01  |h 0826 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1033 
CAT |a POSPEL  |b 02  |c 20130411  |l MUB01  |h 1227 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0055 
CAT |c 20190506  |l MUB01  |h 1004 
CAT |c 20210614  |l MUB01  |h 0945 
CAT |c 20210614  |l MUB01  |h 1934 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1154 
LOW |a POSLANO DO SKCR  |b 2019-05-06 
994 - 1 |l MUB01  |l MUB01  |m VYSPR  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFSK  |b ÚK sklad  |3 K-1056  |5 3145133635  |8 20100305  |f 71  |f Prezenční SKLAD  |q 20180409 
AVA |a SCI50  |b PRIF  |c ÚK sklad  |d K-1056  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFSK 

Podobné jednotky