185.316 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.

2021S, SE, 2.0h, 3.0EC, to be held in blocked form
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to study, understand, explain, and present, using properly prepared slides and handouts, scientific results in the intersection of logic and computer science. Moreover they will be able to search for related literature in a systematic fashion.

Subject of course

The seminar topics will relate to current research of the two course organizers. Concretely, participants will have a choice between various areas including proof theory,  normative reasoning  and logical dynamics of agents.

 

Teaching methods

various intividual meetings with the chosen lecturer

Mode of examination

Oral

Additional information

Organisational Meeting

Mar 24, 2021 02:00 PM

via Zoom. Link

https://tuwien.zoom.us/j/93088730128?pwd=dytIeTJZN1BGejJWWXRXeDVtZ2I2dz09

ETCS Breakdown:

3 ETCS = 75 hours

  • 12 hours: seminar meetings (presentations and discussions)
  • 30 hours: presentation (incl. preparation, handout etc.)
  • 33 hours: reading of relevant scientific papers
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)

Lecturers

Institute

Examination modalities

A talk and handouts

Course registration

Begin End Deregistration end
24.02.2021 09:00 04.06.2021 18:00

Curricula

Literature

No lecture notes are available.

Previous knowledge

Participants are expected to have some knowledge in mathematical logic.

Miscellaneous

  • Attendance Required!

Language

English