A Lambda Calculus Satellite

V roku 1936 bol pojem intuitívnej vypočítateľnosti operacionalizovaný dvoma rôznymi spôsobmi: prostredníctvom Turingových strojov a...

Logika znalostných báz - The Logic of Knowledge Bases

Myšlienka znalostnej bázy je základom symbolickej alebo "starej dobrej" umelej inteligencie (GOFAI). Systém...

Skúmanie predikátového kalkulu - Investigations into the Predicate Calculus

Oiva Ketonen (1913--2000) bol najbližším žiakom tvorcu modernej teórie...

Etapy divadla: Dramatická kritika Stanleyho Kauffmanna, 1951 - 2006 - Stages of Theater: The...

Fázy divadla: Kauffmanna (1951-2006) je zbierka...

Duality pre štruktúry aplikovanej logiky - Dualities for Structures of Applied Logics

Táto kniha poskytuje rámec na prezentáciu algebier a rámcov...

Súčasná logika a výpočtová technika - Contemporary Logic and Computing

Tento zväzok vznikol na základe knižného návrhu, ktorý bol približne pred dvoma rokmi...

Príručka formálnej argumentácie - Handbook of Formal Argumentation

Príručka formálnej argumentácie je komunitným dielom, ktorého cieľom je poskytnúť...

Naučte sa PROLOG teraz! - Learn PROLOG Now!

Prolog je programovací jazyk, ale dosť neobvyklý. Prolog'' je skratka pre Programovanie s logikou'' a spojenie s logikou dáva...

Trumponomics: Príčiny a dôsledky - Trumponomics: Causes and Consequences

"Získanie prezidentského úradu v USA Donaldom Trumpom šokovalo politický...

Satelit lambda kalkulu - A Lambda Calculus Satellite

V roku 1936 bol pojem intuitívnej vypočítateľnosti operacionalizovaný dvoma rôznymi spôsobmi: prostredníctvom...

Kings College Pubn

Doterajšie vydané knihy vydavateľstva Kings College Pubn: