Due to scheduled database maintenance, TISS will likely be unavailable on Tuesday, September 3rd, 2024, between 7:00 AM and 9:00 AM. We apologize for any inconvenience and appreciate your understanding.

104.571 AKLOG

2024W, 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...

The primary purpose of this seminar is to get to know methods of scientific discourse such as indepedent reading, presentation and discussion of mathematical results in both written and in oral form. Beyond that, the seminar also provides an opportunity to get to know a topic in mathematical logic or theoretical computer science which goes beyond the areas covered by lectures.

Subject of course

We will read various book chapters and scientific articles concerning the topic "computing with (logical) formulas" together.

Teaching methods

Presentation and discussion

Mode of examination

Written and oral

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
Fri15:00 - 17:0004.10.2024 - 24.01.2025Sem.R. DB gelb 05 A Seminar
AKLOG - Single appointments
DayDateTimeLocationDescription
Fri04.10.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri11.10.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri18.10.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri25.10.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri08.11.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri22.11.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri29.11.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri06.12.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri13.12.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri20.12.202415:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri10.01.202515:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri17.01.202515:00 - 17:00Sem.R. DB gelb 05 A Seminar
Fri24.01.202515:00 - 17:00Sem.R. DB gelb 05 A Seminar

Examination modalities

Written seminar paper and oral presentation

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
No records found.

Literature

No lecture notes are available.

Language

if required in English