法国理工信息研究所

Proseminar算法

Ausarbeitungen和Folien

自动血液透析
迈克尔·蒙丁哈夫曼·科迪隆哈夫曼哈夫曼

迈克尔·Optiz

汉内斯·贝克

Eigenschaften von SAT-Instanzen和deren Berechnung

SAT仪器属性

SATInstProp公司
简·古根海默

图形绘制

图形绘制

图形绘制

Inhalt公司

在diesem Prosminar betrachen wir verschiedene Probleme aus der Algorithmik wie zum Beispiel中：

  1. Lokale Such-Algorithmen算法
  2. 算法für das Erfüllbarkeit问题
  3. Kryptographie算法
  4. für die Datenk压缩算法
  5. Künstlichen Intelligenz算法
  6. 数字算法

弗劳夫

卡伦德-

沃什

Verfügbare Wochen Arbeitsschritt公司
161主题和材料Vergabe der Themen und des Materials
17-215Literaturecherche und Erstellung einer groben Gliedrung der Arbeit，dabei können in der Zeit Verständnissprobleme geklärt werden大学
22-232Erstellung einer feineren Gliedrung der Arbeit-stichpunktartig公司
24-26三

Erstellung和Abgabe der Ausarbeitung

271Korrekturen einbringen公司
28-292句子vorbereiten
29Vorstellung der Präsentationen公司

乳胶

乳胶-Vorlagen：

  1. 澳大利亚队
  2. 弗迪·福利安

LaTeX计划：

  1. 分发für Windows（Miktex）
  2. LaTeX-Editor für Windows（TeXnicCenter）
  3. Linux发行版（Tex Live）
  4. LaTeX-Editor für Linux（Kile）

Unterlagen公司

  1. Die Folien von der Vorbesprechung先生
  2. 死亡人数
  3. weiter Unterlagen zum wissenschaftlichen Arbeiten公司

责任

阿德里安·巴林特

Zeiten公司：

Vorbesprechungen公司：

2010年4月22日9:00-10:00 Raum 027-531

2010年4月22日16:00-17:00 Raum 027-531