Logik公司

闭卷考试

死亡Nachklaussur”Logik公司“查找日期:2010年10月13日上午9:00-11:00 Uhr im H22 statt。

Die vorläufigen Ergebnisse der Klausur”Logik公司“呕吐物26.07.2010正弦imLSF公司艾格特拉根。(Der Bonus is berücksichtigt)。

克劳修里希特(Klausureinsicht):Freitag,2010年7月30日 11:00-12:00乌尔姆拉姆:O27/531

克劳苏特明:26岁。朱莉ab 12:00 Uhr,H20/H11/H12(Raum-und Zeitänderung!)
Verteilung auf Hörsäle:H11 A-L,H12:M-Z,(H20 wird nicht benötigt)

 


Inhalt公司

Aussagenlogik公司

  • 语法und Semantik
  • Normalformen公司
  • 决议,Vollständigkeits-und Korrektheitsbeeise

普雷·迪卡坦洛基

  • 语法和语义
  • Normalformen公司
  • 决议,Vollständigkeits-und Korrektheitsbeeise

文字: 

  • Uwe Schöning公司:Logik für信息员, 5. 奥弗莱格。Spektrum Verlag,2000年。
  • 脚本

福利安:

  澳大利亚

  普雷·迪卡坦洛基

Übungen公司

26月26日,图多利安在沃切实验室找到了沃切利希的状态和开始。4月。
教学大纲:
Mo 12:00-14:00,Raum 122,导师Timo Beller
Di 10:00-12:00,Raum 2202,导师Jan-Hendrik Lorenz
Mi 10:00-12:00,Raum 2201,导师Timo Beller
上午8:00-10:00,Raum 3211,导师Jan Hendrik Lorenz

Für die Teilnahme an den u bungen melden Sie sich bitte im rubikon2-系统计数器
http://rubikon2.informatik.uni-ulm.de
Melden Sie sich für diese Veranstaltung bis Do.22。四月一日。
Schreiben Sie sich in ein fries Tutorium während der Einschreibungsphase ein。

U.bungsblätter werden in der Vorlesung ausgeteilt und werden auch im rubikon2-系统
弗雷格施瓦尔特(freigeschaltet)。

UE bungsblatt 1号
U bungsblatt 2号机组Hinweis zu Aufgabe 2.3(a):Ergänzen Sie die Formel X um die Klausel(E oder nicht a)
UE bungsblatt 3号机组Hinweis zu Aufgabe 3.2(a):As ndern Sie die letzte Klausel in(nicht G oder D)
U bungsblatt 4号机组
尤邦布拉特5
U bungsblatt 6号机组
UE bungsblatt 7号
UE bungsblatt 8号
UE bungsblatt 9号
UE bungsblatt 10号
UE bungsblatt 11号Hinweis zu Aufgabe 11.3(b):这是一个0-stelliges Prädikat。
Hinweis zu Aufgabe 11.4:5分。Satz:Verwenden Sie“Wo keine Traktoren fahren,handelte es sich um eine Autobahn.”
UE bungsblatt 12号Hinweis zu Aufgabe 12.3 d)und e):攀登并抓住新的挑战。
Hinweis zu Aufgabe 12.5:Leiten Sie für die Aufgaben 12.2和12.3 durch Resolution die Antwortklauseln:{Antwort(…)}ab。


Die Vergabe von Punkten wird wie folgt geregelt公司:
a) 杜尔奇·阿布加贝und Korrektur von einem Teil der Aufgaben和
b) Aufgaben的选民系统。作为一名学生,我们没有戴帽子,也没有在Lage ist,而是在Tafel zu erklären/vorzurechnen。

比兹瓦蒙塔格的图图里亚姆(Tutorium für das Tutorium-am Montag),阿卜加贝(siehe a)。
bis Montag 12:00 Uhr in den Fächern vor dem H20 Für alle anderen Tutorien。

Einenübungsschein erhältein学生,戴着Gesamtbunkte运动员Aufgaben gesammelt帽子。Studenten,die einenübungsschein erhalten haben,bekommen einen Klausurbonus,d.h.die Note der Abschlußlausur verbessert sich um eine Notenstufe(澳大利亚基因组人:1,0和5,0)。

Vorlesungszeiten公司

H15中Dienstag 12-14 Uhr

 

Weitere信息

LSF-Eintag公司