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

Logik in der Informatik - Detailseite

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

Termine

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


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Berkholz, Christoph
Studiengänge
Abschluss Studiengang LP Semester
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: 2007 )   -  
Bachelor of Science  Informatik Zweitfach ( POVersion: 2010 )   -  
Bachelor of Arts  Informatik Zweitfach ( POVersion: 2010 )   -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: kein LA; POVersion: 2015 )   -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Science  Informatik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )   -  
Bachelor of Arts  Informatik Zweitfach ( Vertiefung: kein LA; 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

Die Veranstaltung wurde 1 mal im Vorlesungsverzeichnis WiSe 2018/19 gefunden:

Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin