Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Anmelden

392125 Formal Logic (V) (WiSe 2017/2018)

Inhalt, Kommentar

Formal logic appears naturally in several places in computer science. Logic gates are the elementary building blocks of integrated circuits. Proofs of NP-hardness often use reductions to satisfiability of Boolean expressions. Logic provides a concept of computability, and a wealth of problems that cannot be solved algorithmically. Propositional and predicate logic, as well as temporal logic and higher-order logic are used in the verification and validation of computer algorithms.

This one-semester course offers an introduction to these formal logics for those who are already acquainted with the basics of propositional logic and the language of predicate logic, such as found in the theoretical informatics course or the introduction to logic offered by the Philosophy and Linguistics Departments.

The module description (Modulbeschreibung) is out of date! There will be 2h lecture per week, problem sheets and 2h tutorial per week. Credit points are given for handing in 50% correct solutions to the problem sheets plus passing the written exam at the end of the semster.

Literaturangaben

U. Schöning: Logic for Computer Scientists

Externe Kommentarseite

https://www.math.uni-bielefeld.de/~frettloe/teach/logik17.html

Lehrende

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Ort Zeitraum  

Zeige vergangene Termine >>

Klausuren

Datum Uhrzeit Raum Kommentar

Zeige vergangene Klausurtermine >>

Fachzuordnungen

Modul Veranstaltung Leistungen  
39-Inf-AL1 Applied Logic I Applied Logic Seminar I Studieninformation
veranstaltungsübergreifend benotete Prüfungsleistung Studieninformation
39-Inf-FL Formal Logic Formal Logic Studieninformation
veranstaltungsübergreifend unbenotete Prüfungsleistung benotete Prüfungsleistung Studieninformation

Die verbindlichen Modulbeschreibungen enthalten weitere Informationen, auch zu den "Leistungen" und ihren Anforderungen. Sind mehrere "Leistungsformen" möglich, entscheiden die jeweiligen Lehrenden darüber.

Studiengang/-angebot Gültigkeit Variante Untergliederung Status Sem. LP  
Studieren ab 50    
Konkretisierung der Anforderungen

Portfolio aus 50% der Übungen und der Klausur am Ende des Semesters.

Lernraum
TeilnehmerInnen
Automatischer E-Mailverteiler der Veranstaltung
Änderungen/Aktualität der Veranstaltungsdaten
Sonstiges