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: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220621162704.0
008 100324s2009 xr e ||||||cze d
020 |a 9788001044780 
035 |a CVTIDW1523901 
040 |b slo  |a CVTI SR  |e AACR2 
041 0 |a cze 
044 |a xr 
080 |a 510.6  |2 UDC-MRF 
100 1 |a Mareš, Jan  |d 1944-,  |4 aut 
245 1 0 |a Matematická logika /  |c Jan Mareš 
250 |a 1. vyd. 
260 |a Praha :  |b České vysoké učení technické v Praze,  |c 2009 
300 |a 92 s. :  |b lit. ; 
500 |a Fakulta jaderná a fyzikálně inženýrská České vysoké učení technické v Praze 
653 1 |a výroková formula  |a výroková teoréma  |a pravdivosť  |a predikátová teoréma  |a rozhodovací semialgoritmus  |a rezolučná metóda  |a Henkinova konštrukcia modelu  |a Lindenbaumova metóda  |a Gödelova veta 
910 |a BA002  |b S610427 
919 |a 978-80-01-04478-0 
974 |f Knihy 
992 |a ASK 
999 |c 151886  |d 151886 

Podobné jednotky