QR kód

Matematická logika /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Mareš, Jan 1944- (Autor)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Praha : České vysoké učení technické v Praze, 2009
Vydání:	1. vyd.
Témata:	výroková formula > výroková teoréma > pravdivosť > predikátová teoréma > rozhodovací semialgoritmus > rezolučná metóda > Henkinova konštrukcia modelu > Lindenbaumova metóda > Gödelova veta
ISBN:	9788001044780
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)

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

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

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

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

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

Definability and infinitely deep languages /
Autor: Heikkilä, Heikki
Vydáno: (1993)

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

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

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

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

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

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

Structural mechanics 40 /
Autor: Řeřicha, Petr
Vydáno: (2003)

Vierdimensionale Datenassimilation nach der Variationsmethode für ein mesoskaliges Chemietransportmodell /
Autor: Schmidt, Hauke
Vydáno: (1999)

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

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

Logika a množiny. Pracovný zošit /
Autor: Sobôtková, Želmíra
Vydáno: (2001)

Riemannian geometry /
Autor: Carmo, Manfredo Perdigao do
Vydáno: (1993)

Strength of materials. Vol. I /
Autor: Sochor, Miroslav 1937-
Vydáno: (2000)

Introduction to finite fields and their applications /
Autor: Lidl, Rudolf
Vydáno: (1994)

Functional analysis. With applications /
Autor: Siddiqi, A. H.
Vydáno: (1993)

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

Handbook of Boolean algebras. Vol. 1 /
Autor: Koppelberg, Sabine
Vydáno: (1989)

Navěky nerozhodnuto. Úvod do logiky a zábavný průvodce ke Gödelovým objevům /
Autor: Smullyan, Raymond
Vydáno: (2003)

Exercitium logicum /
Autor: Hemelík, Martin
Vydáno: (1994)

Nové poznatky z oblasti lití metodou vytavitelného modelu /
Autor: Horejš, Jan
Vydáno: (1985)

Calculus. Vol. II. A course for engineers /
Autor: Pták, Pavel 1947-
Vydáno: (1997)

Quantum optics /
Autor: Scully, Marlan Orvil
Vydáno: (1997)

FERMAT days 85. Mathematics for optimization /
Autor: Attouch, H.
Vydáno: (1986)

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

Teória množín /
Autor: Šalát, Tibor 1926-
Vydáno: (1995)

Annales Academiae Scientiarum Fennicae. Mathematica. Vol. 27. Fasc. 2 /
Autor: Roth, Oliver
Vydáno: (2002)

Základy fuzzy množin /
Autor: Navara, Mirko 1959-
Vydáno: (2007)

Príručka k prijímacím skúškam z matematiky na STU v Bratislave /
Autor: Širáň, Jozef
Vydáno: (2001)

Diskrétna matematika /
Autor: Galanová, Jana 1943-
Vydáno: (1997)

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

Rozhodovanie a riadenie s podporou umelej inteligencie /
Autor: Spalek, Juraj
Vydáno: (2005)

Úvod do logiky pre informatikov /
Autor: Dirgová Luptáková, Iveta, 1977-, a další
Vydáno: (2025)

New trends in discrete and computational geometry /
Autor: Pach, János
Vydáno: (1993)