课程类型
|
讲座
|
|---|
课程
|
星期二16:00-18:00 c.t.，101号楼-SR 00-010/14（MMR）
星期四16:00-18:00 c.t.，101号楼-SR 00-010/14（MMR）
|
|---|
练习
|
周一14:00-16:00 c.t.，52号楼-SR 02-017（朱利安·贾勒基）
周一18:00-20:00 c.t.，101号楼-SR 00-010/14（Tobias Seufert）
周一18:00-20:00 c.t.，101号楼-SR 01-009/13（Betim Musa）
星期五16:00-18:00 c.t.，101号楼-SR 01-009/13（Sabine Rogg）
|
|---|
| 考试 |
2014年2月28日星期五，14:00-16:00，101-026&036号楼 |
|---|
| 语言 |
德国的
|
|---|
讲师
|
Andreas Podelski教授,马蒂亚斯·海兹曼,亚历山大·纳茨,克里斯蒂安·席林
|
|---|
阿克图尔斯
- Nachklausur上午10点找到。9月um 9:00 Uhr，Gebäude 101（026 und 036）statt。Erneut ist als Hilfsmittel ein DIN A4-Zettel（beidseitig beschrieben）mit beliebigem Inhalt zugelssen公司。Bitte vergessen Sie nicht，Ihre UniCard（order Vergleichbares）mitzubringen公司。
- Die Klausurnoten wurden and das Prüfungsamt gemeldet（克劳斯努诺滕·沃登）。Am Montag，2014年3月17日，von 14 Uhr bis 16 Uhr kann die Klausur in Raum 00-016 in Gebäude 52 eingeshenn werden。苦咸菜Sie dazu Ihre UniCard mit。
- 在西耶海滩上，克劳苏尔的葬礼开始于14:00 Uhr（s.t.）。Bitte vergessen Sie nicht，Ihre UniCard（order Vergleichbares）mitzubringen公司。
- Die Zulassungsvoraussetzung wurde von 50%（97 Punkte）auf 48%（93 Punkte，gesenkt）。
- Korrigierteübungsblätter（z.B.u bungsblatt 14）können im Büro von Alexander Nutz和Matthias Heizmann abgeholt werden。
- Für die Prüfung ist als Hilfsmittel ein DIN A4-Zettel（beidseitig beschrieben）mit beliebigem Inhalt zugelssen。
- Die Probeklausur und ein Lösungsvorschlag zu u bungsblatt 14 sind在线。
- Am Dienstag，2014年2月25日，第14 Uhr（s.t.）bis 16 Uhr eine Fragestunde im Hinblick auf die Klausur angeboten。Diese在Gebäude 101 statt中发现Hörsaal 00-036。Damit wir uns auf Ihre Fragen vorbereiten können，bitten wir Sie，diese im Vorfeld per E-Mail and die Assistenten zu senden。
- Am Dienstag，2014年11月11日，在“Probeklaussur”的Vorlsung。
- Das Tutora am Freitag，2014年12月14日，findet nicht mehr statt。
- Am Donnerstag，2014年6月2日，在Vorlesung eine“Probeklaussur”angeboten撰写。Dazu werden Ihnen einige Aufgaben在Stil einer Klausur gestell，die Sie bearbeiten sollen。Die Bearbeitung wird nicht korrigiert order bewerett公司。Teilnahme是freiwillig。Wir planen，die“Probeklausur”am Dienstag，den 11.2.2014，in der Vorlesung zu besprechen。
- Ein Lösungsvorschlag zu u bungsblatt 8在线。在Tutoraten im neuen Jahr wird beriets ut bungsblatt 9 besprochen。
- 模具UE bungsaufgaben和Lösungsskizzender Präsenzaufgaben aus der Vorlesung vom 2013年11月21日在线。
- Am Donnerstag，den 21.11.2013，wird in der Vorlesung eine Wiederholung des bisherigen Stoffs angeboten。Dazu werden Ihnen im ersten Teil einige Aufgaben gestell t，die Sie bearbeiten sollen（大足-沃登-伊赫南）。Die Bearbeitung wird nicht korrigiert order bewerett公司。Anschließend werden wir die Aufgaben besprechen und auf etwaige Fragen eingehen。Sollten Sie bereits vorher Fragen zu Vorlesung oder u bungsbetrieb haben，schicken Sie bitte eine电子邮件mit diesen and die Assistenten。
- Der Link zum Vorlesungsmitschrieb是unten angegeben。
- 模具Einteilung der U bungsgruppen公司是在线的。
- Derübungsbetrieb于2013年10月21日在蒙塔格登·诺赫·基恩·尤本根（noch keine u bungen statt）的弗赖塔格（Freitag）成立了贝雷帽。
尤本根
Jeden Donnerstag wird ein u bungsblatt（绝地唐纳斯塔格）更高的内兹·盖斯特尔特。
逝世时，我是冯·杰登·斯图登·塞尔博特·邦迪格darauffolgenden Dienstag zu Beginn der Vorlesung abgegeben werden公司。模具阿布格贝南·洛松根·沃登·冯·登·图托伦（abgegebenen Lösungen werden von den Tutoren）麻省理工学院朋克队（Punkten beweretet und in）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是Zulassungsvorraussetzung zur Klausur的餐厅。Die regelmäßige Teilnahme kann daran festgehalten werden，dass mindestens 50%48%der Punkte aus denübungen erreicht werden und mindesten einmal im Tutorium vorgerechnet wird。
此外，Hilfsmittel符合DIN A4-Zettel（beidseitig beschrieben）mit beliebigem Inhalt zugelssen标准。
勒恩齐尔
研究人员sollen lernen，直觉Konzepte wie Algorithmen，Berechenbarkeit，Komplexität formal und präzise zu fassen und 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。
脚本
Das Script ist passwortageschützt更高的苏格里夫巴。
祖萨·兹利奇·伍尔德更高的弗伦德利切韦斯（freundlicherweise ein Mitschrieb von Teilnehmern der Vorlesung erstelt und soll als Ergänzung zu obigem Skipt dienen）。Wirübernehmen keine Garantie auf Korrektheit order Vollständigkeit公司。
文学
- I.Wegener：Theoretische Informatik-eine algorithmenorientierte Einführung，2。Auflage 1999年，斯图加特Teubner。国际标准图书编号3-5191-2123-9
- U.Schöning：Theoretische Informatik kurzgefasst，塔什琴布，5.Auflage，2008，海德堡Spektrum Akademischer Verlag，ISBN3-8274-1824-0
- H.Lewis，C.Papadimitriou:计算理论基础，2。Auflage，1997，361 Seiten，卡丁车。，新泽西州普伦蒂斯·霍尔。国际标准书号0-13-262478-8
- J.Hopcroft，J.Ullman：《福尔马莱自动化理论》中的艾因夫Sprachen und Komplexitätstheorie，第3页。Auflage 1994，461 Seiten，卡丁车。，波恩艾迪森·卫斯理。国际标准图书编号3-89319-744-3
