392125 Formal Logic (V) (WiSe 2021/2022)

Inhalt, Kommentar

The course takes place at the university. Just come to lecture hall 6. There will be no vidoes or online streams. Please ignore "Limit 50 people" or "nicht teilnehmend" or such: to my knowledge these things are not longer valid.

This course is taught in English. However, tutorials are held mostly in German.

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.

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/logik21.html

Lehrende

Termine ( Kalendersicht )

Rhythmus Tag Uhrzeit Format / Ort Zeitraum  

Zeige vergangene Termine >>

Fachzuordnungen

Modul Veranstaltung Leistungen  
39-Inf-FL Formal Logic Formal Logic Studieninformation
- 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    

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

Kein Lernraum vorhanden
registrierte Anzahl: 104
Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzer*innen.
eKVV Teilnahmemanagement:
Bei dieser Lehrveranstaltung wird das eKVV-Teilnahmemanagement genutzt.
Details zeigen
Teilnahmebegrenzung:
Begrenzte Anzahl Teilnehmer*innen: 100
Adresse:
WS2021_392125@ekvv.uni-bielefeld.de
Lehrende, ihre Sekretariate sowie für die Pflege der Veranstaltungsdaten zuständige Personen können über diese Adresse E-Mails an die Veranstaltungsteilnehmer*innen verschicken. WICHTIG: Sie müssen verschickte E-Mails jeweils freischalten. Warten Sie die Freischaltungs-E-Mail ab und folgen Sie den darin enthaltenen Hinweisen.
Falls die Belegnummer mehrfach im Semester verwendet wird können Sie die folgende alternative Verteileradresse nutzen, um die Teilnehmer*innen genau dieser Veranstaltung zu erreichen: VST_294980320@ekvv.uni-bielefeld.de
Reichweite:
91 Studierende direkt per E-Mail erreichbar
Hinweise:
Weitere Hinweise zu den E-Mailverteilern
E-Mailarchiv
Anzahl der Archiveinträge: 1
E-Mailarchiv öffnen
Letzte Änderung Grunddaten/Lehrende:
Montag, 13. Dezember 2021 
Letzte Änderung Zeiten:
Sonntag, 5. Dezember 2021 
Letzte Änderung Räume:
Sonntag, 5. Dezember 2021 
Art(en) / SWS
V / 2
Sprache
Diese Veranstaltung wird komplett in englischer Sprache gehalten
Einrichtung
Technische Fakultät
Fragen oder Korrekturen?
Fragen oder Korrekturwünsche zu dieser Veranstaltung?
Planungshilfen
Terminüberschneidungen für diese Veranstaltung
Link auf diese Veranstaltung
Wenn Sie diese Veranstaltungsseite verlinken wollen, so können Sie einen der folgenden Links verwenden. Verwenden Sie nicht den Link, der Ihnen in Ihrem Webbrowser angezeigt wird!
Der folgende Link verwendet die Veranstaltungs-ID und ist immer eindeutig:
https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=294980320
Seite zum Handy schicken
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code: QR-Code vergrößern
ID
294980320
Zum Seitenanfang