Account
Edit tools
Intern
SucheSearch
English

Logic (WS2019): Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Marcos Cramer (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Marcos Cramer (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
Zeile 5: Zeile 5:
|Tutors=Johannes Fichte;
|Tutors=Johannes Fichte;
|Term=WS
|Term=WS
|Year=2018
|Year=2019
|Module=MCL-F, EMCL-B-F
|Module=MCL-F, EMCL-B-F
|SWSLecture=2
|SWSLecture=2
Zeile 15: Zeile 15:
* Lectures (room APB/E05)
* Lectures (room APB/E05)
** 4/4/0 lecture until the end of November
** 4/4/0 lecture until the end of November
** Mondays delayed 4.DS (1:15pm) and Wednesdays 4.DS  
** Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
** Start on Oct 8, delayed 4.DS (1:15pm)
** In the first week the only lecture is on Friday 4.DS (Oct 18)
* Exercises (room APB/E05)
* Exercises (room APB/E05)
** Thursdays 4. DS late (1:20pm) + 5. DS (2:50pm)
** Wednesday 1. DS late (7:30am) and Friday 4. DS (1:00pm)
** Starting from: Oct 18, 4. DS
** Starting from: Oct 23, 1. DS
** Let us know if you prefer to start late or take a long brake in between to be able to grab some lunch
* Lecture notes
* Lecture notes
** We handout copies of a manuscript once we know how many students will show up
** We handout copies of a manuscript once we know how many students will show up
** Slides are available online [http://www.wv.inf.tu-dresden.de/materials/logic/] (password will be given in the lecture or during exercises)
** Slides are available online [http://www.wv.inf.tu-dresden.de/materials/logic/] (password will be given in the lecture or during exercises)
* Consultation hours  
* Consultation hours  
** Wednesdays, 14:30-15:30 APB 2019
** tba


* Exams (Updated):  
* Exams (Updated):  
** Mid-Term: Nov 15, 4.DS
** Mid-Term: tba
*** '''Corrected'''. How to get your results:
**** Nov 29: during exercises or
**** Dec 3+: drop at SCIS by during the office hours
** Final:  
** Final:  
*** '''Thu Dec 13, 5.DS. (14:50 -- 16:20) HSZ/04/H (Hörsaalzentrum, Bergstr. 64)'''
*** '''Sat Dec 14, precise time and place tba'''
*** Show up early (20 min in advance/14:30; we need you to register etc.)!
*** Show up early (20 min in advance; we need you to register etc.)!
 
* Exercises (Notes)
** 3.X we only write the number for X below
** Oct 18: 1, 12, 25; 10
** We agreed to start at 1:20pm at 60/60/60 with 5 min. break in between
** Oct 25: 25, 38, 41, 51, 54, (73, 23i)
** Nov 1: 74, 78, 80, 81, 85, 86, 87, 88, 89, (92, 93, 94), For recall 3, 4
** Nov 8:
*** New 95, 104, 115
*** For recall 6, 9, 27, 28, 30, 31
*** In preparation of the mid-term in addition 12(b), 23(h), 52, 53, 56, 66, 73
** Nov 15
*** Mid-term Exam 4. DS (Beginn 13:20)
*** For 5. DS: 106, 129, 137, 140, 151
** Nov 22: 3.173, 3.174, 4.5, 4.6, 4.56, 4.77
** Nov 29: 4.78, 4.93, 4.104, 4.114, 4.115
** Dec 6 (by Marcos): Questions for the Mid-Term, 4.117, 4.129, 4.131, For recall: 3.59, 3.62, 3.129, 3.130
** Dec 12: 14:00-15:30 optional consultation if required ABP 2019
** Dec 20 and later: [https://iccl.inf.tu-dresden.de/web/Science_of_Computational_Logic_(WS2018)/en Science of Computational Logic]
}}
}}

Version vom 30. September 2019, 16:18 Uhr

Logic

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2019

Dozent

  • Steffen Hölldobler

Tutor

Umfang (SWS)

  • 2/2/0

Module

Leistungskontrolle

  • Klausur


This course introduces propositional logic and first-order predicate logic. After reviewing syntax and semantics, we cover some basic concepts like normal forms, substitution, and unification. We introduce proof procedures such as the resolution calculus and related concepts including soundness, completeness, and decidability.

  • Lectures (room APB/E05)
    • 4/4/0 lecture until the end of November
    • Mondays 4.DS (1:00pm) and Thursday 4.DS (1:00pm)
    • In the first week the only lecture is on Friday 4.DS (Oct 18)
  • Exercises (room APB/E05)
    • Wednesday 1. DS late (7:30am) and Friday 4. DS (1:00pm)
    • Starting from: Oct 23, 1. DS
  • Lecture notes
    • We handout copies of a manuscript once we know how many students will show up
    • Slides are available online [1] (password will be given in the lecture or during exercises)
  • Consultation hours
    • tba
  • Exams (Updated):
    • Mid-Term: tba
    • Final:
      • Sat Dec 14, precise time and place tba
      • Show up early (20 min in advance; we need you to register etc.)!




Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Logic_(WS2019)&oldid=29205“