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

E185 Institute of Computer Languages

Course dates

Day	Time	Date	Location	Description
Wed	12:00 - 13:00	05.10.2011 - 26.01.2012	Hörsaal 15	GRAMLICH
Wed	12:00 - 16:00	05.10.2011 - 25.01.2012	Besprechungsraum Galerie	185.263
Wed	14:00 - 15:00	05.10.2011 - 26.01.2012	EI 6 Eckert HS	GRAMLICH
Wed	16:00 - 17:00	05.10.2011 - 26.01.2012	Hörsaal 15	GRAMLICH
Thu	18:00 - 20:00	06.10.2011 - 12.01.2012	FH Hörsaal 5 - TPH	185.263: Theoretische Informatik und Logik
Fri	15:00 - 17:00	07.10.2011 - 13.01.2012	Informatikhörsaal - ARCH-INF	185.263: Theoretische Informatik und Logik
Fri	15:00 - 17:00	07.10.2011	FH Hörsaal 5 - TPH	185.263: Theoretische Informatik und Logik
Wed	12:00 - 16:00	12.10.2011 - 26.01.2012	GM 7 Kleiner Schiffbau	GRAMLICH
Wed	15:00 - 19:00	12.10.2011 - 26.01.2012	EI 6 Eckert HS	GRAMLICH
Thu	13:00 - 18:00	13.10.2011 - 26.01.2012	EI 6 Eckert HS	GRAMLICH
Fri	15:00 - 17:00	21.10.2011	FH Hörsaal 6 - TPH	185.263: Theoretische Informatik und Logik
Tue	09:00 - 14:00	25.10.2011	Seminarraum FAV EG C (Seminarraum Gödel)	185.263: Theoretische Informatik und Logik
Tue	12:00 - 18:00	25.10.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263: Theoretische Informatik und Logik
Thu	18:00 - 20:00	24.11.2011	HS 18 Czuber - MB	185.263
Tue	13:00 - 18:00	06.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263: Theoretische Informatik und Logik
Mon	15:00 - 19:00	12.12.2011 - 12.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263 Theoretische Informatik und Logik
Tue	15:00 - 19:00	13.12.2011 - 13.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263 Theoretische Informatik und Logik
Wed	15:00 - 19:00	14.12.2011 - 14.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263 Theoretische Informatik und Logik
Thu	09:00 - 12:00	15.12.2011 - 15.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263 Theoretische Informatik und Logik
Thu	14:00 - 18:00	15.12.2011 - 15.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263 Theoretische Informatik und Logik
Fri	12:00 - 13:00	16.12.2011 - 16.12.2011	EI 6 Eckert HS
Fri	17:00 - 19:00	16.12.2011 - 16.12.2011	EI 6 Eckert HS
Fri	11:00 - 13:00	23.12.2011 - 23.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263 Theoretische Informatik und Logik
Fri	17:00 - 19:00	23.12.2011 - 23.12.2011	Seminarraum FAV EG B (Seminarraum von Neumann)	185.263 Theoretische Informatik und Logik
Thu	13:00 - 15:00	12.01.2012	FAV Hörsaal 3 Zemanek (Seminarraum Zemanek)	Prüfungseinsicht
Thu	16:00 - 18:30	22.03.2012	EI 7 Hörsaal - ETIT	185.263
Thu	18:00 - 20:30	10.05.2012	EI 7 Hörsaal - ETIT	185.263
Thu	16:00 - 18:30	14.06.2012	FH Hörsaal 1 - MWB	185.263

Show single appointments

Theoretical Computer Science and Logics - Single appointments

Day	Date	Time	Location	Description
Wed	05.10.2011	12:00 - 13:00	Hörsaal 15	GRAMLICH
Wed	05.10.2011	12:00 - 16:00	Besprechungsraum Galerie	185.263
Wed	05.10.2011	14:00 - 15:00	EI 6 Eckert HS	GRAMLICH
Wed	05.10.2011	16:00 - 17:00	Hörsaal 15	GRAMLICH
Thu	06.10.2011	18:00 - 20:00	FH Hörsaal 5 - TPH	185.263: Theoretische Informatik und Logik
Fri	07.10.2011	15:00 - 17:00	FH Hörsaal 5 - TPH	185.263: Theoretische Informatik und Logik
Wed	12.10.2011	12:00 - 13:00	Hörsaal 15	GRAMLICH
Wed	12.10.2011	12:00 - 16:00	Besprechungsraum Galerie	185.263
Wed	12.10.2011	12:00 - 16:00	GM 7 Kleiner Schiffbau	GRAMLICH
Wed	12.10.2011	14:00 - 15:00	EI 6 Eckert HS	GRAMLICH
Wed	12.10.2011	15:00 - 19:00	EI 6 Eckert HS	GRAMLICH
Wed	12.10.2011	16:00 - 17:00	Hörsaal 15	GRAMLICH
Thu	13.10.2011	13:00 - 18:00	EI 6 Eckert HS	GRAMLICH
Thu	13.10.2011	18:00 - 20:00	FH Hörsaal 5 - TPH	185.263: Theoretische Informatik und Logik
Fri	14.10.2011	15:00 - 17:00	Informatikhörsaal - ARCH-INF	185.263: Theoretische Informatik und Logik
Wed	19.10.2011	12:00 - 13:00	Hörsaal 15	GRAMLICH
Wed	19.10.2011	12:00 - 16:00	Besprechungsraum Galerie	185.263
Wed	19.10.2011	12:00 - 16:00	GM 7 Kleiner Schiffbau	GRAMLICH
Wed	19.10.2011	14:00 - 15:00	EI 6 Eckert HS	GRAMLICH
Wed	19.10.2011	15:00 - 19:00	EI 6 Eckert HS	GRAMLICH

Course registration

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

Registration modalities

Curricula

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

Literature

Lecture notes for this course are available.

Previous knowledge

Mathematics 1

Miscellaneous

Course homepage

Language

German