192.132 Seminar in Logic
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022W, SE, 2.0h, 3.0EC

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to learn new ,methods in Automated Deduction and Proof Theory and to apply new techniques. Moreover, the students will gather new knowledge in the area of inductive inference

Subject of course

Inductive structures and schemata. Automated analysis of inductive proofs, schematic cut-elimination, refutation of formula schemata. Schematic CERES-method, Herbrand systems, schematic unification.

Teaching methods

The methods applied in this course are of deductive nature. In particular, methods of mathematical logic are applied to problems in automated deduction.

Mode of examination

Immanent

Additional information

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon18:00 - 20:0003.10.2022 - 27.02.2023Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Seminar in Logic - Single appointments
DayDateTimeLocationDescription
Mon03.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon10.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon17.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon24.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon31.10.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon07.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon14.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon21.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon28.11.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon05.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon12.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon19.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon26.12.202218:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon02.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon09.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon16.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon23.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon30.01.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon06.02.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic
Mon13.02.202318:00 - 20:00Seminarraum FAV EG C (Seminarraum Gödel) Seminar in Logic

Examination modalities

Grading in this course is based on two talks to be given in the seminar and on participation.

Course registration

Not necessary

Curricula

Literature

No lecture notes are available.

Previous knowledge

Firm knowledge in Mathematical Logic, basics in Automated Deduction

Language

English