你在这里: 主页 教学 2014/2015年冬季学期 信息技术III

信息技术III

Die Vorlesung gibt eine Einführung在Die Theoretische Informatik中。Sie führt in die Themen Endliche Automaten,Formale Sprachen und Grammatiken ein und liefert mehrereäquivalent präzise Fassungen des Berechenbarkeits begrifs。Es schließt sich eine Einführung in the die Komplexitätstheorie,speziell die Theorye der NP-Vollständigkeit,an.Behandelt werden abstrakte Modelle von Maschinen und Sprachen,mit deren Hilfe Komplecxitátsma \223]e wie Schritzahl(Laufzeit)und Speicherbedarf von Algorithmen präzise definitiert werden。
课程类型
讲座
课程
Gebäude 101的Dienstag 16:00-18:00 c.t.-SR 00-036
Gebäude 101的Donnerstag 16:00-18:00 c.t.-SR 00-036
练习
Gebäude 51 Mittwoch 14:00-16:00 c.t.-HS 03-026
Gebäude 101 Mittwoch 14:00-16:00 c.t.-SR 01-009/13
Gebäude 51 Mittwoch 16:00-18:00 c.t.-HS 00-031
Gebäude 101 Freitag 10:00-12:00 c.t.-SR 00-010/14
考试 弗赖塔格,27岁。2015年2月14 Uhr
语言 德国的
讲师
Andreas Podelski教授,马蒂亚斯·海兹曼,亚历山大·纳茨,克里斯蒂安·席林

阿克图尔斯

 

  • Nachklausur wurden和Prüfungsamtübermittelt的名字。Die Nachklausur kann am Freitag,2015年9月25日,茨威辛14 Uhr和15 Uhr im Raum052-00-016 eingeshen-werden(埃因盖森·沃登)。
  • Nachklausur:Die Nachklousur于2015年9月10日上午10点在Gebäude 101 statt 010/14研讨会上发现9 Uhr(s.t.)。Bitte erscheinen Sie pünktlich zur Klausur und bringen Ihren Studierendenausweis(“Unicard”)麻省理工学院。此外,Hilfsmittel符合DIN A4-Zettel(beidseitig beschrieben)mit beliebigem Inhalt zugelssen标准。
  • Die Noten wurden和das Prüfungsamtübermittelt。Die Klausur kann am Mittwoch,书房1。2015年4月,第14次和第16次会议于052-00-016年举行。
  • Bitte erscheinen Sie pünktlich zur Klausur und bringen Ihren Studierendenausweis(“Unicard”)麻省理工学院。
  • Die Zulassungen wurden an das Prüfungsamtübermittelt。Wir haben die nötige Grenze auf 47%(=85 Punkte)gesenkt公司。
  • 埃内Probeklausur公司沃尔德·弗伦特利希特(wurde veröffentlicht)。
  • Die Vorlesungsnotizen wurden veröffentlicht公司。这是一个很好的例子。
  • 上午18.12。entfällt die Vorlesung zugunsten der zu dieser Zeit stattfinden Weihnachtsvorlesung。上午23.12。(事实上,第22.12页)。
  • Wir haben eines der Freitagstutorate auf公司Mittwoch von 16-18 Uhr verlegt公司。Eine neue Einteilung unter甜品Berücksichtigung Ihrer Präferenzen ist公司更高的verlinkt。Die neue Einteilung gilt ab nächster Woche(27.10.),diese Woche发现noch beide Freitagstutorate统计。福尔斯Sie immer noch wechselnwollen,sprechen Sie das am besten den beteilitten Tutoren ab.(沃尔伦,斯普雷切·西达斯·阿姆斯特丹)。
  • Die u bungsgruppeneteilung街更高的在线。Leider嘲笑zu viele Studierende,die für beide Freitagstermine“passt nicht”eingetragen haben。我们咬了Studierenden,bei denen es zur Not geht,in die Freitagstermine zu wechseln,so dass die,bei dnen es gar nicht geht,Platz in einem Mittwochstutorat bekommen。Wenn Sie wechseln,schicken Sie diesbezüglich bitte eine给Alexander Nutz发电子邮件(nutz@info。。。)。Falls zu viele Studenten auf keinen Fall an einem Freitagstermin können,könen wir uns um einen dritten Mittwochstermin bemühen。Vermutlich wäre der dann aber aus Raumbelegungsgründen zu einer ungünstigen Uhrzeit公司。
  • Der u bungsbetrieb在过去的Vorlesungswoche开始了贝雷帽。

 

尤本根

 

杰登·丁斯塔格·伊恩·尤·邦兹布拉特更高的内兹·盖斯特尔特。

逝世时,我是冯·杰登·斯图登·塞布斯特·邦迪格darauffolgenden Montag bis spätestens 16:00 Uhr in die Briefkästen in Geb。51埃因格沃芬·沃登。模具Lösungen的导师den u bungsgruppen besprochen酒店。

Die u bungsgruppe soll auch dazu dienen,Fragen aus der Vorlesung zu公司klären und den Vorlesungsstoff mit dem Tutor und den-anderen学校导师和学生Teilnehmern zu diskutieren公司。Eine regelmäßige Teilnahme an den u-U bungen埃因·雷格尔梅·伊格·泰尔纳姆这是一个很好的例子。

我们的员工是Bearbeiten derÜbungsaufgabenLösungsansätze mit Kommilitonen zu besprechen und Lerngruppen zu比尔登。Die Lösung musss aber von jedem Studenten selbstständig先生aufgeschrieben werden公司。

 

Leistungsnachweis公司

 

Die Prüfung besteht aus einer zweistündigen Klausur,Die am Ende des Semesters stattfindet(学期结束统计)。

Regelmäßige Teilnahme是Zulassungsvoraussetzung zur Klausur的餐厅。Die regelmäßige Teilnahme kann daran festgehalten werden,dass mindestens 50%47%der Punkte aus denübungen erreicht werden und mindestens-einmal in der bungsgruppe vorgerechnet wird。

此外,Hilfsmittel符合DIN A4-Zettel(beidseitig beschrieben)mit beliebigem Inhalt zugelssen标准。

 

勒恩齐尔

 

研究解决方案,直观的Konzepte wie Algorithmen,Berechenbarkeit,Komplelität formal and präzise zu fassen和ihre grundsätzliche Bedeutung für die Lösbarkeit von Problemen mit Hilfe von Rechnern erkennen zu können。Sie sollen Methoden zur Klassifikation von Problemen在verschieden Komplexitätsklassen verstehen。Sie sollen Techniken,wie z.B.Reduktionstechniken,zur Einschätzung der Komplexität von Problemen charrschen und anwenden konnen。Ferner sollen sie formale Sprachen und(endliche)Automaten als präzise Werkzeuge zur formalen Beschreibung von Sprachen和Prozessen einsetzen können。

 

脚本和Vorlesungsnotizen

 

Das Script ist passwortageschützt更高的苏格里夫巴。

 

Vorlesungsnotizen公司:

 

Kontextfrie Sprachen公司轮胎1,泰尔2,泰尔牌3

半个问题

图林马斯奇宁

CH0-语法

雷库西维特

Komplexität公司

 

文学

 

  1. I.Wegener:Theoretische Informatik-eine algorithmenorientierte Einführung,2。Auflage 1999年,斯图加特Teubner。国际标准图书编号3-5191-2123-9
  2. U.Schöning:理论信息学kurzgefasst,Spektrum Taschenbuch,5.Auflage,2008,海德堡Spektrum Akademischer Verlag,ISBN3-8274-1824-0
  3. H.Lewis,C.Papadimitriou:《计算理论要素》,2。Auflage,1997,361 Seiten,卡丁车。,新泽西州普伦蒂斯·霍尔。国际标准书号0-13-262478-8
  4. J.Hopcroft,J.Ullman:《福尔马莱自动化理论》中的艾因夫Sprachen und Komplexitätstheorie,第3页。Auflage 1994,461 Seiten,卡丁车。,波恩艾迪森·卫斯理。国际标准图书编号3-89319-744-3