Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden    Semester: SoSe 2021      Switch to english language    Hilfe    Sitemap
Logout in [min] [minutetext]

Einführung in die Logik - Einzelansicht

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Langtext
Veranstaltungsnummer 4212028 Kurztext Log
Semester SoSe 2020 SWS 2.0
Erwartete Teilnehmer/-innen 200 Max. Teilnehmer/-innen 200
Rhythmus jedes 2. Semester Studienjahr
Credits Belegung Keine Belegpflicht
Hyperlink  
Sprache deutsch
Termine iCalendar Export für Outlook
  Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status fällt aus am Max. Teilnehmer/-innen
Einzeltermine anzeigen
iCalendar Export für Outlook
Mi. 09:45 bis 11:15 woch Pockelsstraße 2 - 2 a (4208) - 4208.01.110 - PK 2.2 Raumplan Meyer     200
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Meyer, Roland , Prof. Dr. verantwortlich
Zuordnung zu Einrichtungen
Institut für Theoretische Informatik
Inhalt
Kommentar Nach Studium dieses Moduls erwerben die Studierenden die Fähigkeit, Aussagenlogik und Prädikatenlogik in verschiedenenen Bereichen der Informatik anzuwenden.
Literatur U. Schoening, Logik fuer Informatiker, Spektrum Akademischer Verlag, Heidelberg
H.-D. Ebbinghaus et. al., Einfuehrung in die mathematische Logik, Spektrum Akademischer Verlag
Server: LSF35 Impressum & Datenschutz            Erklärung zur Barrierefreiheit