Úvod do logiky a logického programování. [1.-8. a cvičení 1-12]

Uloženo v:
Podrobná bibliografie
Hlavní autor: Popelínský, Lubomír (Autor)
Typ dokumentu: Kniha
Jazyk:Čeština
Vydáno: [Brno : Středisko pro pomoc studentům se specifickými nároky, 2007]
Témata:
logické programování
predikátová logika
výroková logika
logic programming
predicate calculus
propositional calculus
vysokoškolská skripta
Obálka
Popis
Fyzický popis:1 sv. (různé stránkování) v Braillovu písmu

Podobné jednotky