AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Logik in der Informatik - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Vorlesung Veranstaltungsnummer 3313009
Semester WiSe 2019/20 SWS 4
Rhythmus Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!
Veranstaltungsformat Präsenz

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer
Di. 11:00 bis 13:00 wöch Erwin Schrödinger-Zentrum /Modul 1 - 0115 Rudower Chaussee 26 (RUD26) - (Hör-/Lehrsäle eben ohne Experimentierbühne) Schweikardt findet statt     1000
Do. 11:00 bis 13:00 wöch Erwin Schrödinger-Zentrum /Modul 1 - 0115 Rudower Chaussee 26 (RUD26) - (Hör-/Lehrsäle eben ohne Experimentierbühne) Schweikardt findet statt     1000
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Schweikardt, Nicole , Prof. Dr.
Studiengänge
Abschluss Studiengang LP Semester
Bachelor of Science  Info, Mathe und Physik Monobachelor ( Vertiefung: kein LA; POVersion: 2019 )   -  
Bachelor of Science  Informatik Beifach ( POVersion: 2009 )   -  
Bachelor of Arts  Informatik Kernfach ( POVersion: 2004 )   -  
Bachelor of Arts  Informatik Kernfach ( POVersion: 2010 )   -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Science  Informatik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Science  Informatik Monobachelor ( POVersion: 2009 )   -  
Bachelor of Science  Informatik Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Arts  Informatik Zweitfach ( POVersion: 2004 )   -  
Bachelor of Arts  Informatik Zweitfach ( POVersion: 2010 )   -  
Bachelor of Science  Informatik Zweitfach ( POVersion: 2010 )   -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( POVersion: 2012 )   -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Arts  Informationsman. & -tech. Monobachelor ( Vertiefung: kein LA; POVersion: 2017 )   -  
Zuordnung zu Einrichtungen
Einrichtung
Mathematisch-Naturwissenschaftliche Fakultät, Institut für Informatik
Inhalt
Kommentar

Logik spielt eine grundlegende Rolle in vielen verschiedenen Bereichen der Informatik, etwa dem Schaltkreisentwurf, dem Software-Engineering, der künstlichen Intelligenz, der Datenbanken und der theoretischen Informatik. Die Logik in der Informatik baut auf der mathematischen Logik auf, die sich etwa seit Ende des 19. Jahrhunderts herausgebildet hat. In den letzten 30 Jahren hat sich die Logik in der Informatik aber in eine eigenständige, von den Anwendungen bestimmte Richtung entwickelt. Die Vorlesung ist eine Einführung in die Logik und ihre Anwendungen in der Informatik.
Darüber hinaus wird die logikbasierte Programmiersprache Prolog eingeführt.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2019/20. Aktuelles Semester: WiSe 2020/21.
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin