QR kód

Logika /

Zobrazit další vydání (2)

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Bek, Roman
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Praha : České vysoké učení technické v Praze, 2000
Vydání:	1. vyd. Dotisk.
Témata:	myslenie > formálny jazyk > predikátová logika
ISBN:	8001014770
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Logika /
Autor: Bek, Roman
Vydáno: (2001)

Logika /
Autor: Bek, Roman
Vydáno: (1996)

Klasická logika /
Autor: Štěpán, Jan
Vydáno: (1992)

Matematická logika /
Autor: Draženská, Emília, a další
Vydáno: (2012)

Formálna logika. I. diel /
Autor: Holomek, Jaroslav
Vydáno: (2003)

Matematická logika /
Autor: Kvasnička, Vladimír 1924-, a další
Vydáno: (2006)

Matematika 35. Matematická logika /
Autor: Jirásko, Josef
Vydáno: (1997)

Právne myslenie a logika /
Autor: Knapp, Viktor
Vydáno: (1989)

Úvod do logiky /
Autor: Benyovszky, Ladislav
Vydáno: (1993)

Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydáno: (2004)

A resolution method for some systems of modal logic /
Autor: Sommerhalder, Rudolf
Vydáno: (1992)

Úvod do logiky /
Autor: Svatek, Jan
Vydáno: (1991)

ACM transactions on computational logic
Vydáno: (2000)

Formální logika a sémantický web /
Autor: Lukasová, Alena, 1936-, a další
Vydáno: (2019)

Základy logiky pre spoločenskovedné a humanitné odbory /
Autor: Zouhar, Marián
Vydáno: (2008)

Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 /
Autor: Blum, Manuel
Vydáno: (1993)

Úvod do logiky /
Autor: Benyovszky, Ladislav
Vydáno: (1991)

Formální logika v umělé inteligenci /
Autor: Lukasová, Alena
Vydáno: (2003)

Theory of formal systems /
Autor: Smullyan, Raymond M.
Vydáno: (1961)

Jazyky a překlady /
Autor: Melichar, Bořivoj 1942-
Vydáno: (1996)

Discrete mathematics. A unified approach /
Autor: Wiitala, Stephen A.
Vydáno: (1987)

Matematická logika /
Autor: Čulík, K.
Vydáno: (1973)

Zaujímavá logika /
Autor: Bizám, György
Vydáno: (1982)

Matematická logika : určeno pro posluchače přírodověd. fak. /
Autor: Dymáček, Michael, 1943-
Vydáno: (1968)

Diskrétna matematika /
Autor: Bučko, Michal
Vydáno: (1991)

Logika pre každého /
Autor: Gahér, František
Vydáno: (1994)

Matematika a logika : retrospektiva a perspektivy /
Autor: Kac, Mark, 1914-1984, a další
Vydáno: (1977)

Logika a využitie sémantických tabiel pre inteligentné systémy /
Autor: Kvasnička, Vladimír, 1924-
Vydáno: (2018)

Logika ako veda. 2. diel /
Autor: Hegel, G. W. F.
Vydáno: (1986)

Matematická logika /
Autor: Trlifajová, Kateřina 1959-, a další
Vydáno: (2015)

Logika, algebry a grafy /
Autor: Kolář, Josef
Vydáno: (1989)

Matematická logika /
Autor: Mareš, Jan 1944-
Vydáno: (2009)

Matematická logika /
Autor: Demlová, Marie
Vydáno: (1999)

Absolute logics /
Autor: Akkanen, Jyrki
Vydáno: (1995)

Automata theory with modern applications /
Autor: Anderson, James A., a další
Vydáno: (2006)

Logika /
Autor: Cryan, Dan, a další
Vydáno: (2003)

Základné prvky filozofie. Úvod, logika, teória poznania /
Autor: Vanniová Rovighiová, Sofia
Vydáno: (1994)

Digitale Systeme. Grundlagen /
Autor: Wunsch, Gerhard
Vydáno: (1993)

Umelá inteligencia a kognitívna veda.
Autor: Kvasnička, Vladimír 1924-
Vydáno: (2009)

Jazyky a překlady. Cvičení /
Autor: Melichar, Bořivoj 1942-
Vydáno: (2004)