Logik Vorkenntnisse

Master / Vertiefung Künstliche Intelligenz
1

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Diese Umfrage wurde während der Migration geschlossen.

  • Ja
  • Nein

0 voters

2

Logik Vorkenntnisse
Angesichts dessen dass es scheint als ob unsere Annahme, dass gewisse Logik Vorkenntnisse gegeben seien, falsch ist, stellt sich nun für uns die Frage, wie weit verbreitet das Nicht-vorhanden-sein besagter Vorkenntnisse unter den potentiellen Teilnehmern ist.

Falls ein hinreichend signifikanter Teil tatsächlich keine Grundlagenkenntnisse bzgl formaler Logik hat müssen wir wohl entweder den Stoff anpassen oder sowas wie nen Auffrischungs/Einführungskurs veranstalten oder… ääh… irgendwas wird uns schon einfallen.

Aaaaber erstmal evaluieren. Also bitte abstimmen (ich hoffe mal das hier ist anonym; wenn nicht… öhm… würde das wen stören?)

3

Ha, wunderbar, scheint wohl anonym zu sein :slight_smile:

4

Soo, ich verbreite jetzt mal das hier:
http://jazzpirate.com/Math/Logik.pdf

das hab ich vor Jahren mal für nen Lehrämtler zusammengetext, der mit seiner Mathe-AG am Gymnasium Logik machen wollte. Dazu sei gesagt:

  1. Das ist offensichtlich fragwürdig inhaltlich und nicht 1-zu-1 das, was ihr wissen solltet (manches mag fehlen, vieles darin braucht ihr definitiv nicht zu wissen)
  2. Nachdem das für Schüler gedacht war ist es an vielen Stellen oberflächlich, aber hoffentlich(!) vielleicht leichter zu lesen als ein Vorlesungsskript
  3. Es ist aus mathematischer Sicht; entsprechend schwadronier ich da über Kram wie ZFC und die Unvollständigkeitssätze, aber z.B. nicht über Standard-Informatikerstoff wie Normalformen, Satz von Herbrand oder NP-Vollständigkeit von SAT und so

Das ist auch völlig orthogonal dazu, ob wir uns noch irgendwas klügeres für die nicht-logik-gehört-habenden einfallen lassen oder nicht, aber vielleicht hilft’s ja wem.
Außerdem sind comics drin :smiley:

2 „Gefällt mir“
5

Das Skript der Logik-VL, die ich "vorausstzen wollte
Die VL ist “Grundlagen der Logik in der Informatik” (https://www8.cs.fau.de/ws15:gloin).