Matematická logika /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Mareš, Jan 1944- (VerfasserIn)
Format: Buch
Sprache:Tschechisch
Veröffentlicht: Praha : České vysoké učení technické v Praze, 2009
Ausgabe:1. vyd.
Schlagworte:
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
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Fakulta jaderná a fyzikálně inženýrská České vysoké učení technické v Praze
Beschreibung:92 s. : lit. ;
ISBN:9788001044780

Ähnliche Einträge