Start my eKVV Studieninformation Lernräume Prüfungsverwaltung Anmelden

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

Einrichtung
Technische Fakultät
Art(en) / SWS
V / 2
Zeitraum
09.10.2017-02.02.2018
Voraussichtl. Wiederholung
Sprache
Diese Veranstaltung wird komplett in englischer Sprache gehalten

Lehrende

Klicken Sie auf den Namen um Kontaktdaten wie die E-Mailadresse zu sehen

Termine (Kalendersicht )

Rhythmus Tag Uhrzeit Ort Zeitraum  
wöchentlich Di 14-16 X-E0-216 09.10.2017-02.02.2018
nicht am: 31.10.17 / 26.12.17 / 02.01.18

Klausuren

  • keine gefunden

Fachzuordnungen

Modul (Studienmodell 2011) Veranstaltung Leistungen  
39-Inf-AL1 Applied Logic I Applied Logic Seminar I Studieninformation
veranstaltungsübergreifend benotete Prüfungsleistung Studieninformation

Die Angaben in der Tabelle ergeben sich aus der Zuordnung zu einem Modul und der entsprechenden Modulbeschreibung. Bei den angegebenen "Leistungen" können Wahloptionen der Studierenden bestehen; Auskunft hierüber gibt ebenfalls die Modulbeschreibung.

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

Allgemeine Anforderungen bei Lehrveranstaltungen:

Die Anforderungen an die aktive Teilnahme (nur gültig für Studienmodell 2002) sind hier erläutert. In den FsB und Modulhandbüchern finden sich Informationen, ob Studienleistungen (nur gültig für Studienmodell 2011)/Einzelleistungen/Modul(teil)prüfungen vorgesehen sind, und welche Anforderungen hierfür bestehen.

Konkretisierung der Anforderungen

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

Öffnung

Geöffnet für Hörer/-innen anderer/aller Fakultäten 

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

TeilnehmerInnen
registrierte Anzahl : 39 (2)
Dies ist die Anzahl der Studierenden, die die Veranstaltung im Stundenplan gespeichert haben. In Klammern die Anzahl der über Gastaccounts angemeldeten Benutzer/innen.
Abruf der Liste der Teilnehmer/innen :
Lehrende und ihre Sekretariate können sich die Liste der im eKVV registrierten Teilnehmer/innen über die passwortgeschützen eKVV Seiten abrufen: Meine Veranstaltungen
Falls Sie noch keinen BIS Zugang besitzen oder generelle Hinweise zum Abrufen und zum Umgang mit den Teilnehmerlisten suchen nutzen Sie unsere Hilfeseite
Dort finden Sie auch Informationen dazu, wie Sie aus einer Teilnehmerliste die Ergebnisliste für die Prüfungsdokumentation erstellen und wie Sie diese an die Prüfungsämter übermitteln können.
Automatischer E-Mailverteiler der Veranstaltung
Adresse :
WS2017_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 VeranstaltungsteilnehmerInnen 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 TeilnehmerInnen genau dieser Veranstaltung zu erreichen: VST_103764980@ekvv.uni-bielefeld.de
Reichweite :
38 Studierende direkt per E-Mail erreichbar
Hinweise :
Weitere Hinweise zu den E-Mailverteilern
Änderungen/Aktualität der Veranstaltungsdaten
Letzte Änderung Grunddaten/Lehrende :
Montag, 24. Juli 2017 
Letzte Änderung Zeiten :
Mittwoch, 26. Juli 2017 
Letzte Änderung Räume :
Mittwoch, 26. Juli 2017 
Sonstiges
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=103764980
Interwiki Link
Kopieren Sie diesen Link, um im BISWiki auf diese Veranstaltung zu verweisen.
[[ Veranstaltung: 103764980 | WS2017_392125 ]]
Planungshilfen
Terminüberschneidungen für diese Veranstaltung
ID
103764980
Seite zum Handy schicken
Klicken Sie hier, um den QR Code zu zeigen
Scannen Sie den QR-Code: QR-Code vergrößern