算法研讨会：Aussagenlogik中的算法

在diesem Seminar wollen wir einfache Aspekte des Themenbereichs Beweiskomplexität zu Algorithmen In der Aussagenlogik studieren und einige grundlegende Paper kennelnernen研讨会上。

Darum geht es inhaltlich：

在证明复杂性中，人们试图理解和分析证明或反驳逻辑陈述所需的计算资源。更直观地说，人们感兴趣的是研究如何给出给定CNF公式不可满足这一事实的简短（且有效验证）证明。解析演算是一种显示不满足性的方法。本课程主要关注作为证明系统的解决方案。证明复杂性不仅与P与NP问题有着深刻的联系，而且与SAT求解的应用领域也有许多令人兴奋的相互关系。

我们理解普林齐普·基恩·伊纳利希（Prinzip keine inhaltliche Voraussetzungen für die Teilnahme）和达斯研讨会。模具研究人员解决了jedoch Eigenverantwortung和Eigenitiative mitbringen和bereit sein，sich in neues Thema einzulesen。

Achtung公司：

Die Vergabe und Anmeldung zum研讨会erfolgt wie gewohnt zentralüber Moodle：https://moodle.uni-ulm.de/course/view.php？id=27241.

在穆德勒-库尔斯-安祖梅尔登，费迪·泰尔纳姆是库尔斯的代表。Die vollständige Kommunikation，sowie Themen-Enteilung wird via Moodle erfolgen。

Eine vorläufige Themengite公司：

• Allgemeine Beweissysteme公司。
• Baumartie分辨率。
• 指数计数器Schranke für die Resolution vom Schubfachprinzip。
• 决议中的布雷特委员会。
• 决议草案和法律。
• Speicherbedarf für Resolutionwiderlegungen公司。
• Länge vs.Speicherplatz权衡结果。
• 决议tiefe。
• Das切割平面Beweiss系统。
• 插值。
• Beweisysteme mit Symmetrieregeln公司。
• 解决方案和SAT解决方案。

Eigene Themenvorschläge sind jederzeit willkommen！

• 他们最多只能有2名学生参加专业比赛。
• Anwesenheit：ASQ中最大2 mal fehlen。
• 沃特拉斯道尔：45-60分钟专业格鲁佩（塔菲尔·奥德·比默）。
• Ausarbeitung:10-15 Seiten pro Gruppe（LaTeX）。

Sowohl Vortrag als auch Ausarbeitung darf wahlweise in Deutsch order gerne auch auf Englisch gehalten werden（德国奥德涅奥赫赫赫赫夫）。

Genaueres erklären wir in einer Vorbesprechung（siehe Moodle）。Moodle的《Themen Einteilung der Themen erfolgt ebellsüber Moodle》。