392125 Applied Logic I (S) (WiSe 2016/2017)
Contents, comment
-
Formale Logik ist an vielen Stellen mit Informatik verwoben: logische Schaltkreise sind Grundlage der Rechnerarchitektur. Beweise der NP-Schwierigkeit von Problemen bestehen oft in der Reduktion auf Erfüllbarkeit Boolescher Ausdrücke. Logik bietet ein Konzept von Berechenbarkeit und liefert etliche Probleme, die nicht algorithmisch entscheidbar sind. Aussagen- und Prädikatenlogik, temporale Logik und Logiken höherer Ordnung werden genutzt zum Nachweis der Korrektheit von Algorithmen.
Dieser Kurs hat zwei Teile: Im Wintersemester gibt es eine Vorlesung, die die verschiedenen Logiken (Aussagenlogik, Prädikatenlogik, Normalformen, modale Logik) sowie Unvollständigkeitssätze und Beweisbarkeit im Detail behandelt; im Sommersemester stellen die Teilnehmer in Vorträgen ausgewählte Themen vor.
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 two-part 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. In the winter term the course takes place as a lecture, covering propositional logic, first- and second-order logic, normal forms, modal logic, incompleteness theorems and more. In the summer term the course has the form of a seminar; the participants will give presentations of selected topics.
Bibliography
-
U. Schöning: Logik für Informatiker
(mehr im Verlkauf des Semesters)
External comments page
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period |
|---|
Subject assignments
| Module | Course | Requirements | |
|---|---|---|---|
| 39-Inf-AL1 Applied Logic I | Applied Logic Seminar I | Student information | |
| - | Graded examination | Student information |
The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Studieren ab 50 |
- Registered number: 31
- This is the number of students having stored the course in their timetable. In brackets, you see the number of users registered via guest accounts.
- Address:
- WS2016_392125@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_80473115@ekvv.uni-bielefeld.de
- Coverage:
- 2 Students to be reached directly via email
- Notes:
- Additional notes on the electronic mailing lists
- Email archive
- Number of entries 0
- Open email archive
- Last update basic details/teaching staff:
- Friday, July 8, 2016
- Last update times:
- Friday, July 15, 2016
- Last update rooms:
- Friday, July 15, 2016
- Type(s) / SWS (hours per week per semester)
- seminar (S) / 2
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=80473115
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 80473115