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
Popis
Popis jednotky:Vedoucí práce: Jiří Hořejš.
Fyzický popis:39 l.

Podobné jednotky