Predstavenie autora M. Augusto Luis:

Doterajšie vydané knihy od M. Augusto Luis:

Mnohohodnotová logika: Matematický a výpočtový úvod. Druhé vydanie - Many-Valued Logics: A...
Kings College Pubn
Mnohohodnotové logiky sú logiky, ktoré majú viac...
Mnohohodnotová logika: Matematický a výpočtový úvod. Druhé vydanie - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Jazyky, stroje a klasické výpočty - Languages, Machines, and Classical Computation
Kings College Pubn
Jazyky, automaty a klasické výpočty je nová vysokoškolská...
Jazyky, stroje a klasické výpočty - Languages, Machines, and Classical Computation
Výpočtová logika: Deduktívne počítanie s klasickou logikou. Druhé vydanie - Computational Logic:...
Kings College Pubn
Hoci mnohé technologické aplikácie v poslednom...
Výpočtová logika: Deduktívne počítanie s klasickou logikou. Druhé vydanie - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logické dôsledky: Teória a aplikácie: Úvod. Druhé vydanie - Logical Consequences: Theory and...
Kings College Pubn
Teória logických dôsledkov je ústredným prvkom...
Logické dôsledky: Teória a aplikácie: Úvod. Druhé vydanie - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Formálna logika: Klasické problémy a dôkazy - Formal Logic: Classical Problems and Proofs
Kings College Pubn
Logika je - nepochybne - celá o dokazovaní, ale...
Formálna logika: Klasické problémy a dôkazy - Formal Logic: Classical Problems and Proofs
<<
1
>>