621.311 (15S) Logik
Überblick
- Lehrende/r
- LV-Titel englisch Logic
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 2.0
- Anmeldungen 21 (25 max.)
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 09.03.2015
- Anmerkungen Der Block Logik und logische Programmierung (2VO + 2UE) wird nunmehr in Form von zwei VKs (jeweils 2 SWS) angeboten. Ziel ist es, die Prüfungsaktivität durch bessere Interaktion mit den Studierenden, bessere Verbindung von VO- und UE-Inhalten und durch gesteigerte Anwesenheit in den Lehrveranstaltungen zu steigern. Zudem soll die Lehrveranstaltung dadurch früher und mit besserem Ergebnis abgeschlossen werden. Dabei ist folgende Zuordnung vorgesehen: • VK „Logik“ → VO „Logik und logische Programmierung” • VK “Logische Programmierung” → UE „Logik und logische Programmierung”
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Lehrmethodik inkl. Einsatz von eLearning-Tools
Lecture mixed with practical exercises. Slides will be in English.Inhalt/e
The course covers Propositional Logic and First-order Predicate Logic, two popular logical knowledge representation languages that can be employed to implement intelligent applications where the machine is able to automatically answer queries or derive new knowledge based on a given knowledge base.Themen
- Propositional Logic
- Inference in Propositional Logic
- First-order Predicate Logic
- Inference in First-order Predicate Logic
Literatur
Stuart Russell and Peter Norvig. Artificial Intelligence: A modern approach. Prentice Hall, 2009 Chin-Liang Chang and Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press Inc. 1973Prüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Prüfungsinhalt/e
Topics covered in the course.Beurteilungskriterien/-maßstäbe
Written examination.Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Bachelorstudium Angewandte Informatik
(SKZ: 511, Version: 12W.1)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.311 Logik (2.0h VK / 2.0 ECTS) Absolvierung im 4. Semester empfohlen
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Fach: Grundlagen der Softwareentwicklung
(Pflichtfach)
- Bachelorstudium Informatik
(SKZ: 521, Version: 09W.3)
-
Fach: Softwareentwicklung
(Pflichtfach)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.311 Logik (2.0h VK / 2.0 ECTS)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Pflichtfach)
- Bachelorstudium Informatik
(SKZ: 521, Version: 03W.1)
-
Fach: Softwareentwicklung
(Pflichtfach)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
- 621.311 Logik (2.0h VK / 2.0 ECTS)
-
Logik und logische Programmierung (
2.0h VO / 2.0 ECTS)
-
Fach: Softwareentwicklung
(Pflichtfach)
Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung
- Sommersemester 2024
-
Wintersemester 2023/24
- 621.310 VC Logik (2.0h / 3.0ECTS)
- Sommersemester 2023
-
Wintersemester 2022/23
- 621.310 VC Logik (2.0h / 3.0ECTS)
- Sommersemester 2022
-
Wintersemester 2021/22
- 621.310 VC Logik (2.0h / 3.0ECTS)
-
Sommersemester 2021
- 621.310 VC Logik (2.0h / 3.0ECTS)
-
Wintersemester 2020/21
- 621.310 VC Logik (2.0h / 3.0ECTS)
- Sommersemester 2020
-
Wintersemester 2019/20
- 621.310 VC Logik (2.0h / 2.0ECTS)
- Sommersemester 2019
-
Wintersemester 2018/19
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Sommersemester 2018
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Wintersemester 2017/18
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Sommersemester 2017
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Wintersemester 2016/17
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Sommersemester 2016
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Wintersemester 2015/16
- 621.310 VC Logik (2.0h / 2.0ECTS)
-
Sommersemester 2015
- 621.310 VK Logik (2.0h / 2.0ECTS)