QR kód

Úvod do logiky /

Zobrazit další vydání (1)

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Benyovszky, Ladislav
Další autoři:	Kunca, Tomáš
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Praha : SNTL - Státní nakladatelství technické literatury, 1991
Témata:	logika výroková > predikátová prvého stupňa s identitou
ISBN:	8070792647
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

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

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

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

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

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

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

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

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

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

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

Výročná správa 2006 : prehľad činností Súdneho dvora Európskych spoločenstiev, Súdu prvého stupňa Európskych spoločenstiev a Súdu pre verejnú službu Európskej únie /
Vydáno: (2007)

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

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

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

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

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

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

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

Kvantové logiky /
Autor: Pták, Pavel 1947-
Vydáno: (1989)

Olejárova encyklopédia logiky : základné pojmy /
Autor: Olejár, Marián sr
Vydáno: (2016)

Foundations of software science and computation structures : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Abramsky, Samson
Vydáno: (2003)

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

Úvod do logiky. Filozofická propedeutika pre bakalárske štúdium /
Autor: Veverka, Lukáč Ján
Vydáno: (1999)

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

Technická diagnostika strojů a strojních zařízení /
Autor: Beneš, Vítězslav
Vydáno: (1974)

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

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

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)

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

Logické systémy /
Autor: Kaprálik, Peter, a další
Vydáno: (2007)

Logické systémy /
Autor: Kaprálik, Peter, a další
Vydáno: (2009)

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

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

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

Experimentelle und theoretische Untersuchung des Saugrohres einer Kaplanturbine /
Autor: Chihab, Walid Shehab
Vydáno: (1993)

Úvod do vedy.
Autor: Olejár, Marián sr
Vydáno: (2008)

Použitie aparátu viachodnotovej logiky pre analýzu citlivosti dát /
Autor: Levashenko, Vitaly, a další
Vydáno: (2013)