Logik für Informatiker.pdf

Logik für Informatiker

Jürgen Dassow

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.

logik beruht auf zwei Grundprinzipien, dem bereits genannten Zweiwertigkeitsprinzip, welches fordert, dass jede Aussage einen eindeutig bestimmten Wahrheitswert hat, der nur wahr oder falsch sein kann, und dem Extensionalit atsprinzip, nach dem der Wahrheitswert einer zusammengesetzten Aussage nur von den Wahrheitswerten ihrer Bestandteile abh

7.74 MB DATEIGRÖSSE
9783519005186 ISBN
Logik für Informatiker.pdf

Technik

PC und Mac

Lesen Sie das eBook direkt nach dem Herunterladen über "Jetzt lesen" im Browser, oder mit der kostenlosen Lesesoftware Adobe Digital Editions.

iOS & Android

Für Tablets und Smartphones: Unsere Gratis tolino Lese-App

Andere eBook Reader

Laden Sie das eBook direkt auf dem Reader im www.futblog.at Shop herunter oder übertragen Sie es mit der kostenlosen Software Sony READER FOR PC/Mac oder Adobe Digital Editions.

Reader

Öffnen Sie das eBook nach der automatischen Synchronisation auf dem Reader oder übertragen Sie es manuell auf Ihr tolino Gerät mit der kostenlosen Software Adobe Digital Editions.

Aktuelle Bewertungen

avatar
Sofya Voigtuh

Logik für Informatiker. Eine Einführung. Autoren: Heinemann, Bernhard, K. KLAUS KLAUS KLAUS WEHIRAUCH. Vorschau ... Vorlesung Logik I (WS 2017/18). Aktuelles. Die Übungen am 01.02 (Beginn: 9.00 Uhr) und 02.02 werden als Fragestunden rund um Vorlesungs- und ...

avatar
Mattio Müllers

Logik I | Theoretische Informatik 02.03.2020 · Vorlesung Logik I (WS 2019/20) Aktuelles Die Klausureinsicht findet am Donnerstag, den 05.03., ab 13:00 in H-C 3310 statt. Organisatorisches

avatar
Noels Schulzen

26.04.2006 · Lösungen für die Übungsblätter Logik für Informatiker Skript Logik für Informatiker 2005/06 Übungsblätter Logik für Informatiker WS05/06 Allgemeine Informationen. Inhalt: In der Logik untersucht man streng formal die Gesetze unseres exakten Denkens. Logik hat in der Informatik besondere Bedeutung gewonnen: Sie findet Verwendung in der Vorlesung Logik SS'09

avatar
Jason Leghmann

FB16 - Elektrotechnik/Informatik: Digitale Logik Ab dem Wintersemester 18/19 wird die Digitale Logik für die Informatik als Teil der Modulprüfung "Technische Grundlagen der Informatik" angeboten. Für alle anderen (Elektrotechnik, Mechatronik, sonstige) ist es weiterhin eine eigenständige Prüfung. Daraus ergibt sich die Prüfungsdauer: jetzt 60 Minuten (ET, Mecha, etc.)

avatar
Jessica Kolhmann

Logik für Informatiker - Studydrive