185.263 Theoretical Computer Science and Logics
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2011W, VU, 4.0h, 6.0EC

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise

Aim of course

Learning the basic concepts and methods of theoretical computer science, of formal languages and automata as well as of propositional and predicate logics.

Subject of course

Formal language theory: grammars and automata; computability; propositional logic, basic elements of predicate logics.

Additional information

For details see www.logic.at/lvas/185263

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed12:00 - 13:0005.10.2011 - 26.01.2012Hörsaal 15 GRAMLICH
Wed12:00 - 16:0005.10.2011 - 25.01.2012Besprechungsraum Galerie 185.263
Wed14:00 - 15:0005.10.2011 - 26.01.2012EI 6 Eckert HS GRAMLICH
Wed16:00 - 17:0005.10.2011 - 26.01.2012Hörsaal 15 GRAMLICH
Thu18:00 - 20:0006.10.2011 - 12.01.2012FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Fri15:00 - 17:0007.10.2011 - 13.01.2012Informatikhörsaal - ARCH-INF 185.263: Theoretische Informatik und Logik
Fri15:00 - 17:0007.10.2011FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Wed12:00 - 16:0012.10.2011 - 26.01.2012GM 7 Kleiner Schiffbau GRAMLICH
Wed15:00 - 19:0012.10.2011 - 26.01.2012EI 6 Eckert HS GRAMLICH
Thu13:00 - 18:0013.10.2011 - 26.01.2012EI 6 Eckert HS GRAMLICH
Fri15:00 - 17:0021.10.2011FH Hörsaal 6 - TPH 185.263: Theoretische Informatik und Logik
Tue09:00 - 14:0025.10.2011Seminarraum FAV EG C (Seminarraum Gödel) 185.263: Theoretische Informatik und Logik
Tue12:00 - 18:0025.10.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263: Theoretische Informatik und Logik
Thu18:00 - 20:0024.11.2011HS 18 Czuber - MB 185.263
Tue13:00 - 18:0006.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263: Theoretische Informatik und Logik
Mon15:00 - 19:0012.12.2011 - 12.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Tue15:00 - 19:0013.12.2011 - 13.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Wed15:00 - 19:0014.12.2011 - 14.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Thu09:00 - 12:0015.12.2011 - 15.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Thu14:00 - 18:0015.12.2011 - 15.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Fri12:00 - 13:0016.12.2011 - 16.12.2011EI 6 Eckert HS
Fri17:00 - 19:0016.12.2011 - 16.12.2011EI 6 Eckert HS
Fri11:00 - 13:0023.12.2011 - 23.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Fri17:00 - 19:0023.12.2011 - 23.12.2011Seminarraum FAV EG B (Seminarraum von Neumann) 185.263 Theoretische Informatik und Logik
Thu13:00 - 15:0012.01.2012FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Prüfungseinsicht
Thu16:00 - 18:3022.03.2012EI 7 Hörsaal - ETIT 185.263
Thu18:00 - 20:3010.05.2012EI 7 Hörsaal - ETIT 185.263
Thu16:00 - 18:3014.06.2012FH Hörsaal 1 - MWB 185.263
Theoretical Computer Science and Logics - Single appointments
DayDateTimeLocationDescription
Wed05.10.201112:00 - 13:00Hörsaal 15 GRAMLICH
Wed05.10.201112:00 - 16:00Besprechungsraum Galerie 185.263
Wed05.10.201114:00 - 15:00EI 6 Eckert HS GRAMLICH
Wed05.10.201116:00 - 17:00Hörsaal 15 GRAMLICH
Thu06.10.201118:00 - 20:00FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Fri07.10.201115:00 - 17:00FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Wed12.10.201112:00 - 13:00Hörsaal 15 GRAMLICH
Wed12.10.201112:00 - 16:00Besprechungsraum Galerie 185.263
Wed12.10.201112:00 - 16:00GM 7 Kleiner Schiffbau GRAMLICH
Wed12.10.201114:00 - 15:00EI 6 Eckert HS GRAMLICH
Wed12.10.201115:00 - 19:00EI 6 Eckert HS GRAMLICH
Wed12.10.201116:00 - 17:00Hörsaal 15 GRAMLICH
Thu13.10.201113:00 - 18:00EI 6 Eckert HS GRAMLICH
Thu13.10.201118:00 - 20:00FH Hörsaal 5 - TPH 185.263: Theoretische Informatik und Logik
Fri14.10.201115:00 - 17:00Informatikhörsaal - ARCH-INF 185.263: Theoretische Informatik und Logik
Wed19.10.201112:00 - 13:00Hörsaal 15 GRAMLICH
Wed19.10.201112:00 - 16:00Besprechungsraum Galerie 185.263
Wed19.10.201112:00 - 16:00GM 7 Kleiner Schiffbau GRAMLICH
Wed19.10.201114:00 - 15:00EI 6 Eckert HS GRAMLICH
Wed19.10.201115:00 - 19:00EI 6 Eckert HS GRAMLICH

Course registration

Begin End Deregistration end
05.09.2011 17:00 12.10.2011 00:00

Registration modalities

Sign up to gain access to the TUWEL e-learning course.

Curricula

Study CodeSemesterPrecon.Info
033 522 Computer Science Management 2. Semester
033 531 Data Engineering & Statistics 2. Semester
033 532 Media Informatics and Visual Computing STEG
Course requires the completion of the introductory interview STEG
033 533 Medical Informatics 4. SemesterSTEG
Course requires the completion of the introductory interview STEG
033 534 Software & Information Engineering 4. SemesterSTEG
Course requires the completion of the introductory interview STEG
033 535 Computer Engineering 2. SemesterSTEG
Course requires the completion of the introductory interview STEG
066 939 Business Engineering and Computer Science

Literature

Lecture notes for this course are available.

Previous knowledge

Mathematics 1

Miscellaneous

Language

German