Springer Nature
Logik FüR Die Informatik
Miglior prezzo disponibile
29,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
Dieses Lehrbuch bietet eine Einführung in die Aussagenlogik, die Prädikatenlogik erster Stufe und die Berechenbarkeitstheorie. Schwerpunkte liegen auf Aspekten der Formalen Logik, die für die Informatik interessant sind, z.B. verschiedene Verfahren zum Testen von Erfüllbarkeit, Turing-Maschinen und das Halteproblem, Satz von Cook. Schwierige Beweise sind nur skizziert. Das Buch erreicht dadurch eine gute Mischung aus mathematischer Präzision und Erläuterungen, ohne ausufernd zu werden. Viele Beispiele und zahlreiche Ãbungen, nach Kapiteln unterteilt, ergänzen das didaktische Angebot des Buches.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 29,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Logik FüR Die Informatik
39,99$
Mathematik FüR Die Informatik
59,99$
Lineare Algebra FüR Die Informatik
34,99$
Elementare Kombinatorik FüR Die Informatik
29,99$
Mathematische Grundlagen FüR Die Informatik
29,99$
Diskrete Mathematik FüR Die Informatik
17,99$
Algebraische Und Zahlentheoretische Grundlagen FüR Die Informatik
29,99$
Automaten Und Sprachen: Theoretische Informatik FüR Die Praxis
44,99$