Computational Intelligence Wintersemester 2009/10

Aus VoWi
Wechseln zu: Navigation, Suche

Computational Intelligence Winteremester 2009/10

TUWIS Computational Intelligence

TUWIS LVA Suche

Zusätzliche Wahllehrveranstaltungen in den Informatikstudien

http://www.logic.at/lvas/

http://www.ads.tuwien.ac.at/w/Lehre

http://www.kr.tuwien.ac.at/education/

http://www.dbai.tuwien.ac.at/education/

Studienplan Informatik 2009, Seite 42 bis 46

Informatikforum Computational Intelligence

Informatikforum Masterstudien


Allgemeine Vorbesprechungen:

ADS http://www.ads.tuwien.ac.at/w/Lehre Di 6.10.2009 13:00 (pünktlich), Seminarraum 186

KBS http://www.kr.tuwien.ac.at/education/ Di, 6.10.2009, 17:30, Zemanek Hörsaal

LOGIC Mo, 05.10.09, 13:15-15:00, Zemanek Seminarraum

Complang Mi, 7.10.2009, 11h, EI4 (altes EI, 2. Stock)

Inhaltsverzeichnis

Zusätzliche Wahllehrveranstaltungen WS 2009/10[Bearbeiten]

anscheinend keine

Pflicht[Bearbeiten]

Formale Methoden der Informatik VO, 6 ECTS[Bearbeiten]

WS 2009/10, Start: Mo 5.10.2009 12:00-13:30 EI 10, Mi 12:00-14:00 EI 9, Mo 12:00-14:00 EI 10, Egly, Gramlich, Pichler, Salzer, Tompits

http://www.logic.at/lvas/185291/

http://tuwis.tuwien.ac.at/lva/185291

TU Wien:Formale Methoden der Informatik VU (Egly)

f.forum:303

auch SS

Seminar für DiplomandInnen[Bearbeiten]

An diversen Instituten angeboten

LVA-Angebot im TUWIS suchen

Basisfach[Bearbeiten]

Algorithmik[Bearbeiten]

Algorithmen auf Graphen VU, 3 ECTS[Bearbeiten]

WS 2009/10, Chwatal, Ruthmair, Prandtstetter, Vorbesprechung: Di 6.10.2009 13:00 (pünktlich) Sem 186, Start: Mi 7.10.2009, Mi 11:00 (s.t.) - 12:30 Sem 186

http://www.ads.tuwien.ac.at/teaching/LVA/186145.html

http://tuwis.tuwien.ac.at/lva/186145

TU Wien:Algorithmen auf Graphen VU (Chwatal)

f.forum:321


Approximationsalgorithmen VU, 3 ECTS[Bearbeiten]

SS 2009, Pferschy, geblockt 11.3.2009 - 24.4.2009

http://www.ads.tuwien.ac.at/teaching/lva/186102.html

http://tuwis.tuwien.ac.at/lva/186102

f.forum:323


Effiziente Algorithmen VU, 3 ECTS[Bearbeiten]

WS 2009/10, Prandtstetter, Leitner, Chwatal, Vorbesprechung: Di 6.10.2009 13:00 (pünktlich) Sem 186, Start: Di 13.10.2009, Di 11:30-13:00 Sem 186

http://www.ads.tuwien.ac.at/teaching/LVA/186144.html

http://tuwis.tuwien.ac.at/lva/186144

TU Wien:Effiziente Algorithmen VU (Gruber, Prandtstetter, Hu, Chwatal)

f.forum:324


Heuristische Optimierungsverfahren VU, 3 ECTS[Bearbeiten]

WS 2009/10, Raidl, Chwatal, Vorbesprechung: Di 6.10.2009 13:00 (pünktlich) Sem 186, Start: Di 13.10.2009, Di 13:15-14:45 Sem 186

http://www.ads.tuwien.ac.at/teaching/LVA/186112.html

http://tuwis.tuwien.ac.at/lva/186112

TU Wien:Heuristische Optimierungsverfahren VU (Raidl)

Verteilte Algorithmen VU, 4,5 ECTS[Bearbeiten]

SS 2009, vielleicht nur für Technische Informatiker geeignet, Schmid

http://ti.tuwien.ac.at/ecs/teaching/courses/valg

http://tuwis.tuwien.ac.at/lva/182073

f.forum:314

Artificial Intelligence[Bearbeiten]

Machine Learning VU, 3 ECTS[Bearbeiten]

WS 2009/10, Musliu, Rauber, Vorbesprechung: Mo 12.10.2009 10 - 11 Seminarraum Zemanek, Di 12:30-14:30 20.10.2009 - 24.11.2009 Seminarraum Zemanek

http://tuwis.tuwien.ac.at/lva/181191


Neural Computation VO, 3 ECTS[Bearbeiten]

WS 2009/10, Vorbesprechung: Mi 7.10.2009 11:00 EI8, Mi 11-13 EI8, Reiter, Sablatnig, Prüfung: schriftlich

http://www.prip.tuwien.ac.at/teaching/ws/neural-computation/

http://tuwis.tuwien.ac.at/lva/183174

f.forum:381

Problem Solving and Search in Artificial Intelligence VU, 3 ECTS[Bearbeiten]

SS 2009, Musliu, Englisch, Vorbesprechung: Do 19.3.2009 17:00 Seminarraum Zemanek, 1.Einheit: Do 23.4.2009 10:00-12:30 Seminarraum Zemanek

http://www.dbai.tuwien.ac.at/staff/musliu/ProblemSolvingAI/

http://tuwis.tuwien.ac.at/lva/181190

Wissensbasierte Systeme VO, 3 ECTS[Bearbeiten]

SS 2009, Egly, Eiter, Start: Mo 9.3., Mo 11:30-13:30 HS 18, Do 11-13 HS 11, Prüfung: schriftlich

http://tuwis.tuwien.ac.at/lva/184178

TU Wien:Wissensbasierte Systeme VO (Egly, Eiter)

f.forum:442

Mathematik und Statistik[Bearbeiten]

Diskrete Mathematik für Informatik VO, 6 ECTS[Bearbeiten]

WS 2009/10, Karigl, Start: Di 6.10.2009, Di 9:15-10:45 EI 8, Do 9:15-10:45 EI 8, Prüfung: schriftlich und mündlich

http://tuwis.tuwien.ac.at/lva/104150

http://www.algebra.tuwien.ac.at/institut/inf/

TU Wien:Diskrete Mathematik für Informatik VO (Drmota)

f.forum:304

Informations- und Codierungstheorie VO, 3 ECTS[Bearbeiten]

SS 2009, Kusolitsch, Mi 8:45-10:15 FH4, Vorbesprechung: Mi 4.3.2009 9-10 FH4

http://tuwis.tuwien.ac.at/lva/107361

http://www.ci.tuwien.ac.at/~kusolitsch/InformationsUndCodierungstheorie/

Operations Research VU, 3 ECTS[Bearbeiten]

WS 2009/10, Mehlmann, Mi 15-17 EI3, zwei Klausuren

http://tuwis.tuwien.ac.at/lva/110045

http://www.eos.tuwien.ac.at/OR/Mehlmann/Andis/publ/operres/

f.forum:393

TU Wien:Operations Research VU (Mehlmann)


Stochastische Grundlagen der Computerwissenschaften VO, 4 ECTS[Bearbeiten]

WS 2009/10, Grill, Mi 08:45-10:00 FH 3, Do 08:45-10:00 FH 3 ab 8.10.2009, Prüfung: mündlich

http://tuwis.tuwien.ac.at/lva/107276


Theoretische Informatik und Logik[Bearbeiten]

Automaten und Formale Sprachen VU, 3 ECTS[Bearbeiten]

f.forum:395

WS 2009/10, Freund, Mo 11-13 Sem Zemanek

http://tuwis.tuwien.ac.at/lva/185086

TU Wien:Automaten und Formale Sprachen VO/UE (Freund)


WS 2009/10, Kuich, Di 14-16 Besprechungszimmer am Institut 104

http://tuwis.tuwien.ac.at/lva/104164

TU Wien:Automaten und formale Sprachen VO (Kuich)

Computer Aided Verification VU, 3 ECTS[Bearbeiten]

SS 2009, Veith, Englisch, geblockt Do 4.6.2009, Fr 5.6.2009, Sa 6.6.2009

http://tuwis.tuwien.ac.at/lva/181145

f.forum:389

Komplexitätstheorie VU, 3 ECTS[Bearbeiten]

SS 2009, Pichler, geblockt, Anmeldung bis 4.3.2009 in TUWIS, Do 14-16 Sem 184/2

Thu., 05-Mar 14:15 - 16:00


http://www.dbai.tuwien.ac.at/staff/pichler/complexity

http://tuwis.tuwien.ac.at/lva/181142

TU Wien:Komplexitätstheorie VU (Pichler)

Mathematische Logik 1 VU, 3 ECTS[Bearbeiten]

WS 2009/10, Ciabattoni, Englisch, Di 14:30 (pünktlich) - 16:00 Seminarraum oder Laborraum 185/2, Start: 3.11.2009

http://www.logic.at/lvas/185256/

http://tuwis.tuwien.ac.at/lva/185256

Wahlfach[Bearbeiten]

Allgemeine Wahllehrveranstaltungen[Bearbeiten]

Informatikpraktikum 1, 6 ECTS[Bearbeiten]

Informatikpraktikum 2, 6 ECTS[Bearbeiten]

Algorithmik[Bearbeiten]

Algorithmen in der Graphentheorie VU, 3 ECTS[Bearbeiten]

SS 2009, Fleischner

Vorbespr. Dienstag 13:00 bis 15:00 03.03.2009(Allgemein Inst.)

Vorbespr. Montag 10:00 09.03.2009 --> Termine werden vereinbart --> Wuensche bereithalten Besprechungsraum 186

Start: Fr 13.3. 11:30-13:30 Besprechungsraum 186

http://tuwis.tuwien.ac.at/lva/186181

http://www.ads.tuwien.ac.at/teaching/lva/186181.html

TU Wien:Algorithmen in der Graphentheorie VU (Fleischner)

Algorithmische Geometrie VU+UE, 3 + 1,5 ECTS[Bearbeiten]

WS 2009/10, Ljubic, Mo 17-20 Sem 186 ab 12.10., Englisch

http://tuwis.tuwien.ac.at/lva/186122

http://www.ads.tuwien.ac.at/teaching/LVA/186122.html

TU Wien:Algorithmische Geometrie VU/UE (Ljubic)

f.forum:322


Analyse von Algorithmen VO, 5 ECTS[Bearbeiten]

WS 2009/10, Wiesenbauer, Mo 11:15-12:00 Sem 104, Mi 10:30-12 Sem 104, Prüfung: schriftlich und mündlich

http://tuwis.tuwien.ac.at/lva/118778


Analyse von Algorithmen UE, 4 ECTS[Bearbeiten]

WS 2009/10, Wiesenbauer, Mi 12:15-13:45 Sem 104

http://tuwis.tuwien.ac.at/lva/118212


Dependable Distributed Systems VU, 4,5 ECTS[Bearbeiten]

WS 2009/10, vielleicht nur für Technische Informatiker geeignet

http://tuwis.tuwien.ac.at/lva/183212


Effiziente Programme VU, 3 ECTS[Bearbeiten]

WS 2009/10, Ertl, Start: Fr 9.10.2009, Fr 14:00-15:30 EI3A

http://tuwis.tuwien.ac.at/lva/185190

http://www.complang.tuwien.ac.at/anton/lvas/effiziente-programme.html

Fortgeschrittene Algorithmen und Datenstrukturen VU, 3 ECTS[Bearbeiten]

SS 2009, Prandstetter, Chwatal, Hu Bin, Anmeldung bis 20.4.2009 in TUWIS, Di 13:15-14:45 Sem 186 ab 10.3.2009

http://www.ads.tuwien.ac.at/teaching/lva/186179.html

http://tuwis.tuwien.ac.at/lva/186179

Optimierungsverfahren in der Transportlogistik VU, 3 ECTS[Bearbeiten]

SS 2009, Puchinger, Di 17:30-19:00 Sem 186

http://www.ads.tuwien.ac.at/teaching/LVA/186190.html

http://tuwis.tuwien.ac.at/lva/tuwien/186190

Real-Time Scheduling VU, 3 ECTS[Bearbeiten]

WS 2009/10, vielleicht nur für Technische Informatiker geeignet

http://tuwis.tuwien.ac.at/lva/182086


Seminar aus Algorithmik, 3 ECTS[Bearbeiten]

SS 2009, Prandtstetter, Ruthmair

http://www.ads.tuwien.ac.at/teaching/lva/186182.html

http://tuwis.tuwien.ac.at/lva/186182

auch WS


SS 2009, Rauber, Vorbesprechen und Themenvorstellung: Mo., 16.3.2009, 10:00, HD0407

http://tuwis.tuwien.ac.at/lva/188478

Verteilte Algorithmen für fehlertolerante Echtzeitsysteme VU, 3 ECTS[Bearbeiten]

vielleicht nur für Technische Informatiker geeignet

SS 2009, Schmid

http://ti.tuwien.ac.at/ecs/teaching/courses/valgrt

http://tuwis.tuwien.ac.at/lva/182130

Artificial Intelligence[Bearbeiten]

Bildverstehen VO, 3 ECTS[Bearbeiten]

WS 2009/10, Hanbury, Englisch, geblockt 11.11.2009-26.11.2009 14:00-17:30, Prüfung: schriftlich

http://tuwis.tuwien.ac.at/lva/183040

http://www.prip.tuwien.ac.at/teaching/ws/bildverstehen-image-understanding

TU Wien:Bildverstehen VO (Hanbury)

f.forum:349


Bildverstehen LU, 3 ECTS[Bearbeiten]

WS 2009/10, Lettner, Haxhimusa

http://tuwis.tuwien.ac.at/lva/183051

http://www.prip.tuwien.ac.at/teaching/ws/bildverstehen-image-understanding

Brain Modeling VO, 3 ECTS[Bearbeiten]

SS 2009, Rattay, Mi 16:15-18:15 Sem 101B

http://tuwis.tuwien.ac.at/lva/101152

TU Wien:AKBIO Brain Modeling VO/AG (Rattay)

Brain Modeling AG, 3 ECTS[Bearbeiten]

WS 2009/10, Rattay, Mi 16:15-17:45 Sem 101B, Start: 14.10.2009

http://tuwis.tuwien.ac.at/lva/101015

TU Wien:AKBIO Brain Modeling VO/AG (Rattay)


Computerunterstützte Diagnoseverfahren u. Therapieplanung VU, 3 ECTS[Bearbeiten]

SS 2009, auch für CI-Studenten geeignet, Miksch, geblockt, Vorbesprechung: 9. März 2009, 13:00 Uhr, Seminarraum SE 188/2

http://ieg.ifs.tuwien.ac.at/lva/ctp.html

http://tuwis.tuwien.ac.at/lva/188453

TU Wien:Computerunterstützte Diagnoseverfahren und Therapieplanung VU (Miksch)

Ein- und Ausgabe von Sprache VO, 3 ECTS[Bearbeiten]

WS 2009/10, Kommenda, Mi 17-19:30 EI2, 7.10.2009 bis 9.12.2009, Prüfung: schriftlich

http://tuwis.tuwien.ac.at/lva/185317

TU Wien:Ein- und Ausgabe von Sprache VO (Kommenda)


Einführung in Semantic Web VU, 3 ECTS[Bearbeiten]

WS 2009/10, Kappel, Mo 17-20:30 EI2, 12.10.2009-14.12.2009

http://tuwis.tuwien.ac.at/lva/188399

TU Wien:Einführung in Semantic Web VU (Barta)

Fortgeschrittene funktionale Programmierung VL, 3 ECTS[Bearbeiten]

SS 2009, Knoop, Do 16-18 Sem Argentinierstraße

http://www.complang.tuwien.ac.at/knoop/ffp185210.html

http://tuwis.tuwien.ac.at/lva/185210

TU Wien:Fortgeschrittene funktionale Programmierung VL (Knoop)

Fortgeschrittene logikorientierte Programmierung VL, 3 ECTS[Bearbeiten]

Neumerkel

http://www.complang.tuwien.ac.at/ulrich/Prolog2

http://tuwis.tuwien.ac.at/lva/185209

Information Retrieval VU, 4,5 ECTS[Bearbeiten]

SS 2009, Rauber, Vorbesprechung: Mo 16.3.2009 12:00-13:00 EI1, Mo 12-15 EI1

http://tuwis.tuwien.ac.at/lva/188412

TU Wien:Information Retrieval VU (Rauber)

Neural Computation LU, 1,5 ECTS[Bearbeiten]

WS 2009/10, Reiter

http://tuwis.tuwien.ac.at/lva/183171

http://www.prip.tuwien.ac.at/teaching/ws/neural-computation


Nichtmonotones Schließen VU, 3 ECTS[Bearbeiten]

WS 2009/10, Tompits, Mo 10-13 Sem 184/3, 12.10.2009 bis 14.12.2009, Englisch, Prüfung: mündlich

http://tuwis.tuwien.ac.at/lva/184188


Probabilistisches Schließen VU, 3 ECTS[Bearbeiten]

noch keine Daten für WS 2009/10 (findet anscheinend nicht statt)

WS 2008/09, „AK der Artificial Intelligence / Probabilistisches Schließen“, Lukasiewicz

http://tuwis.tuwien.ac.at/lva/184236

TU Wien:Probabilistisches Schließen VU (Lukasiewicz)


Robotik VU, 3 ECTS[Bearbeiten]

zuletzt im SS 2006, Egly


Selbstorganisierende Systeme VU, 4,5 ECTS[Bearbeiten]

WS 2009/10, Rauber, Start: 12.10.2009, Mo 13-15 EI2

http://tuwis.tuwien.ac.at/lva/188413


Seminar aus Artificial Intelligence, 3 ECTS[Bearbeiten]

SS 2009, Egly, Eiter, Fink, Tompits

http://www.kr.tuwien.ac.at/education/seminar/seminar.html

http://tuwis.tuwien.ac.at/lva/184068

auch WS


WS 2008/09, Fermüller

http://tuwis.tuwien.ac.at/lva/185054

http://www.logic.at/lvas/185054/


SS 2009, Musliu

http://tuwis.tuwien.ac.at/lva/181034


SS 2009, Rauber, Englisch

http://tuwis.tuwien.ac.at/lva/188121

Technologien für das Semantische Web VU, 3 ECTS[Bearbeiten]

WS 2009/10, ersetzt „Artificial Intelligence und Semantic Web VO“, Heymans, Englisch, geblockt 9.12.2009-20.1.2010 9:00-12:00

http://tuwis.tuwien.ac.at/lva/184268

http://www.kr.tuwien.ac.at/staff/heymans/priv/teaching/semwebtech2009.html


Theorie der Wissensrepräsentation (Theory of Knowledge Representation) VU, 3 ECTS[Bearbeiten]

WS 2009/10, Eiter, Englisch, geblockt, geplanter Beginn: Do 3.12.2009 9-12:30

http://tuwis.tuwien.ac.at/lva/184186


Verarbeitung deklarativen Wissens VO, 3 ECTS[Bearbeiten]

WS 2009/10, Egly, Ortiz de la Fuente, Tompits; Englisch, geblockt 1.12.2009-28.1.2010, Di 16-18 Sem 184/3, Do 14-16 HS8

http://tuwis.tuwien.ac.at/lva/184205


Werkzeuge und Sprachen zur Wissensrepräsentation VO, 3 ECTS[Bearbeiten]

zuletzt im SS 2007, Egly

http://tuwis.tuwien.ac.at/lva/184139


Werkzeuge und Sprachen zur Wissensrepräsentation UE, 1,5 ECTS[Bearbeiten]

zuletzt im SS 2007, Egly

http://tuwis.tuwien.ac.at/lva/184141

Wissensbasiertes Planen VU, 3 ECTS[Bearbeiten]

SS 2009, Dorn, Mi 16-19 Sem 184/2 ab 11.3.

wird immer im Sommersemester angekündigt, aber dann abgesagt, weil sich zu wenige Studenten dafür interessieren

http://tuwis.tuwien.ac.at/lva/188495

Mathematik und Statistik[Bearbeiten]

Diskrete Mathematik für Informatik UE, 3 ECTS[Bearbeiten]

WS 2009/10, Karigl, Mi 9:15-10:45 EI 8

http://tuwis.tuwien.ac.at/lva/104151

Fehlerkorrigierende Codes VO, 3 ECTS[Bearbeiten]

SS 2009, Dorfer, Do 9:10-10:55 FH8 (keine VO am 26.3.), Prüfung: für Informatiker schriftlich, für Mathematiker mündlich

http://dmg.tuwien.ac.at/dorfer/codes/

http://tuwis.tuwien.ac.at/lva/104173

Fehlerkorrigierende Codes UE, 2 ECTS[Bearbeiten]

SS 2009, Dorfer, für Informatiker: Di 12-13 FH 7 ab 31.3., für Mathematiker: Di 16:30-17:30 Sem 138B ab 31.3.

http://dmg.tuwien.ac.at/dorfer/codes/

http://tuwis.tuwien.ac.at/lva/104183

Informations- und Codierungstheorie UE, 2 ECTS[Bearbeiten]

SS 2009, Kusolitsch, Di 12:00-12:45 Sem 107/1 ab 17.3.

http://tuwis.tuwien.ac.at/lva/107362

Operations Management / Management Science VU, 4,5 ECTS[Bearbeiten]

SS 2009, Haunschmied, Fr 9:30-13:00 HS 17

http://www.eos.tuwien.ac.at/OR/Haunschmied/OMMS07

http://tuwis.tuwien.ac.at/lva/110046

Simulation VO, 3 ECTS[Bearbeiten]

SS 2009, Breitenecker, geblockt, Vorbesprechung und 1.Block: Mi 11.3.2009 14-17 Seminarraum 101A. Die Blöcke finden üblicherweise Mittwoch (teilweise am Montag) nachmittag (14.00 - 17.30) statt.

https://tuwel.tuwien.ac.at/course/view.php?id=1362

http://tuwis.tuwien.ac.at/lva/101161

Simulation LU, 3 ECTS[Bearbeiten]

SS 2009, Breitenecker

http://tuwis.tuwien.ac.at/lva/101163

Stochastische Grundlagen der Computerwissenschaften UE, 2 ECTS[Bearbeiten]

WS 2009/10, Grill, Di 8:00-9:30 HS 14

http://tuwis.tuwien.ac.at/lva/107278

Theoretische Informatik und Logik[Bearbeiten]

Advanced Database Systems VU, 3 ECTS[Bearbeiten]

SS 2009, Pichler, Mi 14-16 Sem 184/2

The first class meets on Wednesday, 04 March, 14:15 - 16:00.

http://www.dbai.tuwien.ac.at/staff/pichler/adbs

http://tuwis.tuwien.ac.at/lva/181198

Automaten und Formale Sprachen UE, 1,5 ECTS[Bearbeiten]

WS 2008/09, Freund, geblockt

http://tuwis.tuwien.ac.at/lva/185064


WS 2008/09, Urbanek, Di 12-13 EI3

http://tuwis.tuwien.ac.at/lva/104166

Automatisches Beweisen VL, 4,5 ECTS[Bearbeiten]

SS 2009, Leitsch, geblockt, Englisch, Di 13-17 Sem 185/2, Start: Di 17.3.2009

http://www.logic.at/lvas/185247/

http://tuwis.tuwien.ac.at/lva/185247

Automatisches Beweisen in nichtklassischen Logiken VU, 3 ECTS[Bearbeiten]

SS 2009, Egly, Englisch, Vorbesprechung: Mi 17-18 11.3.2009 Sem 184/3

http://tuwis.tuwien.ac.at/lva/184084

Beweistheorie 1 VO, 3 ECTS[Bearbeiten]

WS 2009/10, „AKLOG. Beweistheorie 1“, Baaz, Di 17-19h, beginnend mit Di 27.10.

http://tuwis.tuwien.ac.at/lva/118131


Beweistheorie 2 VO, 3 ECTS[Bearbeiten]

SS 2009, „AKLOG. Beweistheorie 2“, Baaz

http://tuwis.tuwien.ac.at/lva/118211


Computational Equational Logic VU, 3 ECTS[Bearbeiten]

SS 2009, Gramlich, Englisch, Anmeldung bis 12.3.2009 in TUWIS, Do 11:15-12:45 Sem 185/2 ab 12.3.2009

http://www.logic.at/lvas/185298/

http://tuwis.tuwien.ac.at/lva/185298


Computer Aided Verification LU, 3 ECTS[Bearbeiten]

SS 2009, Veith, Englisch, geblockt

http://tuwis.tuwien.ac.at/lva/181144


Datenbanktheorie VU, 3 ECTS[Bearbeiten]

SS 2009, Gottlob, Feinerer, Englisch

04.03.2009, 09:00-11.00 Seminarraum 184/2


http://www.dbai.tuwien.ac.at/education/dbt/index.html

http://tuwis.tuwien.ac.at/lva/181140

f.forum:415

Deduktive Datenbanken VO, 3 ECTS[Bearbeiten]

WS 2009/10, Woltran, Englisch, geblockt 18.1.2010-27.1.2010 9-12 Sem 184/2

http://tuwis.tuwien.ac.at/lva/184247

Formale Verifikation von Software VL, 6 ECTS[Bearbeiten]

SS 2009, Salzer, Englisch bei Bedarf, Anmeldung bis 16.3.2009 in TUWIS, Di 16:30-18:30 EI3A

http://www.logic.at/lvas/fvsw/

http://tuwis.tuwien.ac.at/lva/185292

Geschichte der Logik VO, 3 ECTS[Bearbeiten]

SS 2009, Fink, Tompits, Start: Mi 25.3. 14 Uhr EI 4, ? Mi 13-16, ? Mi 14-17, ? Di 13-15

http://tuwis.tuwien.ac.at/lva/184266

Komplexitätsanalyse (Complexity Analysis) VU, 3 ECTS[Bearbeiten]

SS 2009, Eiter, in TUWIS heißt es „Complexity Analysis“, Fr 9-12:30 Sem 184/3, Start: 13.3., Englisch, geblockt

http://tuwis.tuwien.ac.at/lva/184215

TU Wien:Komplexitätsanalyse VU (Eiter)

Kryptographie VU, 3 ECTS[Bearbeiten]

WS 2009/10, Egly, 9.11.2009 - 20.1.2010, meistens Mo 16-18 EI 5, Mi 16:30-18:30 EI 5

http://tuwis.tuwien.ac.at/lva/184189


Lambdakalkül VU, 3 ECTS[Bearbeiten]

WS 2009/10, Baaz, Mi 28.10. und Mi 04.11. jeweils 16-18h, ab 09.11. dann jeden Mo 17-19h

http://tuwis.tuwien.ac.at/lva/108030


Logik für Wissensrepräsentation VO, 3 ECTS[Bearbeiten]

WS 2009/10, Fink, Tompits, geblockt, Start: 17.11., Di 13-15 EI 2, Do 15-17 EI 11, Fr 16-18 EI 11

http://tuwis.tuwien.ac.at/lva/184208

Logiken höherer Stufe (Higher-order Logic) VU, 3 ECTS[Bearbeiten]

SS 2009, Fermüller, Englisch, geblockt, Start: Fr 13.3.2009 15-17 Sem 185/2. Probably 4-5 half day sessions in March, April, and/or May.

http://www.logic.at/lvas/185301/

http://tuwis.tuwien.ac.at/lva/185301

Mathematische Logik 2 VU, 3 ECTS[Bearbeiten]

SS 2009, Hetzl, Englisch, geblockt 4.Mai – 29.Mai

http://www.logic.at/lvas/185332/

http://tuwis.tuwien.ac.at/lva/185332[1]

Modelltheorie und Anwendungen VU, 3 ECTS[Bearbeiten]

VO „AKLOG: Modelltheorie und Anwendungen“, SS 2009, Goldstern, Vorbesprechung Dienstag, 10.3., 17:00 s.t., Besprechungsraum: Wiedner Hauptstraße 8-10, 5.Stock, grüner Bereich.

http://tuwis.tuwien.ac.at/lva/108016

Molecular Computing VU, 3 ECTS[Bearbeiten]

SS 2009, Oswald, Fr 12-14 EI 1, Start: Fr 20.3., 12.15-13.45, EI 1

http://tuwis.tuwien.ac.at/lva/185326

Nichtklassische Logiken VU, 3 ECTS[Bearbeiten]

WS 2009/10, Fermüller, Start: Fr 9.10.2009 11:00 (pünktlich) Sem 185/2, Fr 10:00-12 Sem 185/2

http://tuwis.tuwien.ac.at/lva/185249

http://www.logic.at/lvas/185249/


SAT Solving und Erweiterungen VU, 3 ECTS[Bearbeiten]

SS 2009, Egly, Englisch, Vorbesprechung: Mi 18-19 11.3.2009 Sem 184/3

http://tuwis.tuwien.ac.at/lva/184090

Semantik von Programmiersprachen VU, 3 ECTS[Bearbeiten]

SS 2009, Gramlich, Englisch, Anmeldung bis 10.3.2009 in TUWIS, Di 11:15-12:45 Sem 185/2 ab 10.3.2009

http://www.logic.at/lvas/185205

http://tuwis.tuwien.ac.at/lva/185205

Seminar aus Datenbanken, 3 ECTS[Bearbeiten]

SS 2009, Pichler

http://www.dbai.tuwien.ac.at/staff/pichler/dbse

http://tuwis.tuwien.ac.at/lva/181201

Seminar aus Logik, 3 ECTS[Bearbeiten]

SS 2009, Egly, Eiter, Fink, Tompits

http://www.kr.tuwien.ac.at/education/seminar/seminar.html

http://tuwis.tuwien.ac.at/lva/184264

auch WS


SS 2009, Woltran, Vorbesprechung: Mo 9.3.2009 15-16 Sem 184/2

http://tuwis.tuwien.ac.at/lva/181206


SS 2009, Fermüller, Englisch

http://tuwis.tuwien.ac.at/lva/185316


SS 2009, Baaz, Vorbesprechung: Di 31.3.2009 17-18 am Institut 104

http://tuwis.tuwien.ac.at/lva/118051


WS 2008/09, Leitsch, Do 10-12 Sem 185/2

http://www.logic.at/lvas/185318/

http://tuwis.tuwien.ac.at/lva/185318


Seminar aus Theoretischer Informatik, 3 ECTS[Bearbeiten]

SS 2009, Egly, Eiter, Fink, Tompits

http://www.kr.tuwien.ac.at/education/seminar/seminar.html

http://tuwis.tuwien.ac.at/lva/184067

auch WS


WS 2008/09, Pichler, Jakl, Voraussetzung: Komplexitätstheorie VU, Mi 14:15-16, Start: 8.10.2008

http://www.dbai.tuwien.ac.at/staff/pichler/tcs-se/

http://tuwis.tuwien.ac.at/lva/181185


WS 2008/09, Gramlich, Mi 11-13 Sem 185/2, Start: 15.10.2008

http://www.logic.at/lvas/185320/

http://tuwis.tuwien.ac.at/lva/185320

Symbolic Dynamics and Coding VU, 3 ECTS[Bearbeiten]

WS 2009/10, Salzer, Do 16-18h

http://www.logic.at/lvas/symdyn/

http://tuwis.tuwien.ac.at/lva/185336


Tableausysteme in der Modallogik VU, 3 ECTS[Bearbeiten]

zuletzt im SS 2007, Tompits

http://tuwis.tuwien.ac.at/lva/184223


Termersetzungssysteme VU, 3 ECTS[Bearbeiten]

WS 2009/10, Gramlich, Start: Do 8.10.2009, Do 11:15-12:45 Sem 185/2

http://tuwis.tuwien.ac.at/lva/185224

http://www.logic.at/lvas/185224/

Theorie der Berechenbarkeit VU, 3 ECTS[Bearbeiten]

SS 2009, Leitsch, Englisch, geblockt, Do 13-17 Sem 185/2, Start: Do 19.3.2009

http://www.logic.at/lvas/185203/

http://tuwis.tuwien.ac.at/lva/185203

Unifikationstheorie VU, 3 ECTS[Bearbeiten]

SS 2009, Salzer, Englisch bei Bedarf, Anmeldung bis 1.4.2009 in TUWIS, Do 17-19 Sem 185/2 ab 12.3.

http://www.logic.at/lvas/unif/

http://tuwis.tuwien.ac.at/lva/185289

Zahlentheorie und Anwendungen VO, 3 ECTS[Bearbeiten]

SS 2009, Wiesenbauer, Mi 10:30-12:00 Sem 104, Vorbesprechung: Mi 10:15-11:00 4.3.2009 Sem 104, Prüfung: schriftlich und mündlich

http://www.algebra.tuwien.ac.at/institut/zthanw/index.html

http://tuwis.tuwien.ac.at/lva/118186

Zahlentheorie und Anwendungen UE, 2 ECTS[Bearbeiten]

SS 2009, Wiesenbauer, Mi 12:15-13:00 am Institut, max. 15 Teilnehmer

http://tuwis.tuwien.ac.at/lva/118187

Stundenplan[Bearbeiten]

Montag[Bearbeiten]

10-13 Sem 184/3, Nichtmonotones Schließen VU

11:15-12:00 Sem 104, Analyse von Algorithmen VO

11-13 Sem Zemanek, Automaten und Formale Sprachen VU (Freund)

12-14 EI 10, Formale Methoden der Informatik VO

13-15 EI2, Selbstorganisierende Systeme VU

16-18 EI 5, Kryptographie VU, ab 9.11.

17-20:30 EI2, Einführung in Semantic Web VU

17-20 Sem 186, Algorithmische Geometrie VU+UE, ab 12.10.

Dienstag[Bearbeiten]

8:00-9:30 HS 14, Stochastische Grundlagen der Computerwissenschaften UE

9:15-10:45 EI 8, Diskrete Mathematik VO

11:30-13:00 Sem 186, Effiziente Algorithmen VU

12:30-14:30 Sem Zemanek, Machine Learning VU

13-15 EI2, Logik für Wissensrepräsentation VO, ab 17.11.

13:15-14:45 Sem 186, Heuristische Optimierungsverfahren VU

14-16 Besprechungszimmer, Automaten und Formale Sprachen VU (Kuich)

14:30-16:00 Seminarraum oder Laborraum 185/2, Mathematische Logik 1 VU, ab 3.11.

16-18 Sem 184/3, Verarbeitung deklarativen Wissens VO, ab 1.12.

Mittwoch[Bearbeiten]

8:45-10:00 FH3, Stochastische Grundlagen der Computerwissenschaften VO

9:15-10:45 EI 8, Diskrete Mathematik für Informatik UE

10:30-12 Sem 104, Analyse von Algorithmen VO

12:15-13:45 Sem 104, Analyse von Algorithmen UE

11:00(s.t.)-12:30 Sem 186, Algorithmen auf Graphen VU

11-13 EI 8, Neural Computation VO

12-14 EI 9, Formale Methoden der Informatik VO

15-17 EI3, Operations Research VU

16:15-17:45 Sem 101B, Brain Modeling AG

16:30-18:30 EI 5, Kryptographie VU, ab 11.11.

17-19:30 EI 2, Ein- und Ausgabe von Sprache VO

Donnerstag[Bearbeiten]

8:45-10:00 FH3, Stochastische Grundlagen der Computerwissenschaften VO

9:15-10:45 EI 8, Diskrete Mathematik VO

11:15-12:45 Sem 185/2, Termersetzungssysteme VU

14-16 HS 8, Verarbeitung deklarativen Wissens VO, ab 3.12.

15-17 EI 11, Logik für Wissensrepräsentation VO, ab 17.11.

Freitag[Bearbeiten]

10:00-12 Sem 185/2, Nichtklassische Logiken VU

14:00-15:30 EI3A, Effiziente Programme VU

16-18 EI 11, Logik für Wissensrepräsentation VO, ab 17.11.