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 für Informatiker - uni-halle.de Praktische Bedeutung hat die Logik und Mengenlehre insbe-sondere in folgenden Bereichen: Formulierung von Bedingungen in Programmen (z. B. if-then-else-Anweisungen) Spezi kation und Validierung von Software (z. B. Algebraische Spezi kation, Pro-grammveri kation) Logik als Programmiersprache (z. B. Constraint-Logikprogrammierung, Datenbank-Abfragen)

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 1. Einführung Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS ’06 Œ p.1. Formale Logik Ziel Formalisierung und Automatisierung rationalen Denkens Rational richtige Ableitung von neuem Wissen aus gegebenem Rolle der Logik in der Informatik Anwendung innerhalb der Informatik Spezifikation, Programmentwicklung

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

Vorkurs Mathematik für Informatiker -- 3 Aussagenlogik und ...

avatar
Jessica Kolhmann

Vorkurs Mathematik für Informatiker -- 3 Aussagenlogik und ... Vorkurs Mathematik für Informatiker-- 3 Aussagenlogik und Beweisen --Thomas Huckle Stefan Zimmer 5.10.2018. 2 Aussagenlogik Rechnen mit Wahrheitswerten: true oder false, 1 oder 0 Objekte, die wir untersuchen, sind jetzt Aussagen. Zur Bezeichnung für Aussagen nehmen wir Großbuchstaben A, B, C, … Verknüpfung (Kombination) von Aussagen liefert neue Aussagen. Welche Art von Verknüpfungen