Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	April 2005
Genre:	EDV / Informatik
	Angewandte Mathematik / Applications of Mathematics / Applied mathematics / computer science / Computer Science, general / Engineering mathematics / Logik (mathemat.) / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations mehr...
ISBN:	9783519005186
EAN-Code:	9783519005186
Verlag:	Vieweg + Teubner
Einband:	Kartoniert
Sprache:	Deutsch
Dimensionen:	H 240 mm / B 170 mm / D 12 mm
Gewicht:	323 gr
Seiten:	177
Illustration:	177 S.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Logik ist eine wichtige Grundlage der Informatik. Sie ist für die Formalisierung der Softwaretechnik, für Verifikation und Spezifikation von Programmen und Datenbanken genauso erforderlich wie für die logische Programmierung und die Künstliche Intelligenz. Dieses Buch entstand auf der Basis von Vorlesungen zur Logik, die der Autor seit Jahren für Studierende der Informatik und informatiknaher Studiengänge hält. Es gibt eine Einführung in die Logik aus der Sicht der Informatik. Daher werden nicht nur fundamentale Konzepte und Aussagen der Aussagenlogik und der Prädikatenlogik (erster Stufe) angegeben, die auch für die Mathematik und die Philosophie bedeutsam sind, sondern auch algorithmische Fragen, Beziehungen zur logischen Programmierung und spezielle, für die Informatik wichtige, weitere Logiken ausführlich diskutiert.