你在这里: 主页 教学 2022年夏季学期 理论信息学(讲座)

理论信息学(讲座)

Die Vorlesung gibt eine Einführung in 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 begriffs中的Sie fúhrt。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。
课程类型 大课
讲师 Bernhard Nebel教授,Andreas Podelski教授,罗尔夫·戴维·伯格多尔,多米尼克·克伦普
讲座 Mittwoch 16:00-16:45 Fragestunde,Gebäude 101 Raum HS 00-026 order,通过Zoom
练习

蒙塔格14:00-15:00,Gebäude 051 Raum SR 00-006(蒂洛)

蒙塔格15:00-16:00,Gebäude 051 Raum SR 00-006(Ioannis)

丁斯塔格12:00-13:00,Gebäude 101 Raum SR 00-010/014(西蒙)

丁斯塔格13:00-14:00,Gebäude 101 Raum SR 00-010/014(乔纳森)

Mittwoch 12:00-13:00,Gebäude 106 Raum 00-007(Kerstin)

Mittwoch 13:00-14:00,Gebäude 106 Raum 00-007(克里斯蒂娜)

考试 待定
语言 德国
ILIAS公司 https://ilias.uni-freiburg.de/goto.php?target=crs_2604000&client_id=unifreiburg
课程目录 理论信息学(Vorlesung)
Theoretische Informatik(英国)

阿克图尔斯

  • 11. 04. 2022年:网站在线

    Vorlesungsmaterialen公司

    Die Vorlesungsmateriallien(Vorlesungsaufzeichnungen,Folien,Übungsaufgaben,参考书目)于2022年2月22日出版ILIAS公司贝雷吉斯特尔特。

    喷水

    Die Vorlesung wird auf Deutsch gehalten公司。在德国斯普拉奇(Sprache zu bearbeiten)。

    Lernziel和Vorlesungsinhalt

    《信息理论》中的Vorlesung gibt eingehende Einführung。Neben verschieden formalen Präzisierungen des Berechenbarkeitsbegriffs、werden als Themen endliche Automaten、formale Sprachen und Grammatiken、Entscheidbarkeit und Komplexitätstheorie behandelt。Das Lernziel der Vorlesung ist es,Studierende dazu zu befähigen,直觉Konzepte wie Algorithmen,Berechenbarkeit,Komplexita t formal und pra zise zu fassen und deren grundsa­tzliche Bedeutung fu r die Lo sbarkeit von Problemen mit Hilfe von Rechnern zu verstehen。

    沃劳塞琴根

    Die Vorlesung richtet sich an Informatik-Studenten in Bachelor-Studiengang公司。Vorausgesetzt werden informatische und mathematische Grundkenntnisse entsprechend den Vorlesungen(信息与数学)Informatik I、Informatik II、Logik für Informatiker公司und(单位)Diskrete algebraische Strukturen/Mathematik II für Informatiker公司.

    Die Veranstaltung帽子einen Umfang von6 ECTS朋克.

    Kriterien für die Studienleistung公司

    沃登·沃切利奇·奥夫加本特·奥斯盖格本(Während des Semesters werden Wöchentliche Aufgabenblätter ausgegeben)。穆森Studienleistung zu erlangenmindestens 50%der u bungspunkte公司埃雷希特·沃登。Die u bungsblätter können在Gruppen von 2 Studierenden bearbeitet werden。祖姆·芬登·冯·吕(Zum Finden vonübungsaufgabenpartern)在特伊尔内曼·科内恩(teilnehmen können)温温斯赫特(wenn gewünscht)的Partnerroullette an举行了婚礼。

    Veranstaltung公司

    Wir werden in diesem学期Lehre wieder in Teilen alsPräsenzlehrverastung公司组织者。在线死亡——研究人员称其为bleibt aber gewährleistet。

    Prinzip des大别省佛兰斯塔通市(Die Veranstaltung folgt dabei dem Prinzip de)倒置教室Das heißt,wir werden jede Woche(am Freitag um 8 Uhr vor der aktuellen Vorlesungswoche,erstmals am 22.4)die Vorlesengsfolien und Videos zur Verfügung stellen。Dies werden 8视频von ca.10-15 Minuten Länge sein。Zusätzlich wird es zu jedem Video ein Quiz-mit rund 4 Fragen geben,das Sie zur Reflektionüber den Stoff nutzen können。平台上的Diese Quiz werdenQuiz学院gehost und sindüber einen浏览器或智能手机-应用程序错误。Die Teilnahme是völlig的别名。

    绝地密特沃奇·冯16:00 bis 16:45 werden wir eine Fragestunde durchführen。在Präsenz stattfinden去世,在Teilnahme去世缩放-视频Konferenz wird möglich sein。Wir werden dabei immer ein公司现场测试杜尔奇夫伦,北德姆锡伯死o.g.Plattform teilnehmen konnen。Der wesentliche Aspekt Der Fragestunde ist jedoch,dass Fragen aus Der Vorlesung geklärt werden können。在ILIAS论坛上(星期二上午10:00),我们将与Fragen zurück greifen会面。Zusätzlich gehen wir natürlich auf Fragen ein,die während der Fragestunde getellt-werden。

    我们将在本学期开学。弗赖塔格上午8:00 Uhr,ILIAS erfolgt,Die Veröffentlichung。Die Abgabe erfolgtüber ILIAS,jeweils am Freitag der folgenden Woche bis 23:00。Wenn möglich sollten Sie主演Gruppen von zwei Studierenden arbeiten。

    蒙塔格(14:00-15:00,15:00-16:00),丁斯塔格(12:00-13:00,13:00-14:00)索维·米特沃赫(12:00-13:00,13:00-24:00),沃登·图托里恩·安格博滕(werden Tutorien angeboten),在登尼迪·穆斯特尔·松根(Musterlösungen vorgestellt werden und auf Fragen zu dem Stoff der Vorlesung eingegangen wird)。Die Tutorien sind als reine Präsenzveranstaltungen geplant,ohne Möglichkeit zur online-Teilnahme。

    Sowohl beim ILIAS论坛als auch bei den Quiz Academy-Quiz sowie in den Zoom-Videokonferenzen können Sie mit Pseudonymen teilnehmen。Ihre personenbezogenin Daten werden也出现在diesem Kontext nicht gespeichert中。Es werden weder die Fragestunde noch die Tutorien aufgezeichnet。

    文学

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