Edit course information: First-Order Logic – Semantic and Computational Properties (SS2024)

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die der Gruppe „Benutzer“ angehören.

Course description

Title:	First-Order Logic – Semantic and Computational Properties Name of the lecture, in the language of the lecture
Research group:	Research groups offering this lecture; use Ctrl+click to select multiple groups
Lecturers:	×Dörthe Arndt List of lecturers, separated by semicolon
Tutors:	List of exercise tutors, separated by semicolon
Term:	Semester of this lecture; for winter semesters, the start year is used, e.g., WS 2014 for WS 2014/2015
Lecture series:	List of lecture series this lecture belongs to
Matrix channel:	Matrix channel associated with the course, e.g., `#example:example.org`
Modules:	Associated module ids, separated by commas
SWS:	// SWS for lectures/exercises/practicals
Type of examination:	Klausur mündliche Prüfung Hausarbeit Referat nach Modulbeschreibung Type(s) of examination; could be more than one; documentation of possible values
Description:	The aim of this course is to take a closer look to First order logic and its properties which goes beyond the introduction most of us had in the beginning of their studies. We will introduce its syntax and semantics. We will learn about structures, models and calculi. We want to understand when to (not) trust a proof. On our journey, we will furthermore deepen our knowledge about the most important theorems like completeness, compactness or Löwenheim Skolem. The course will take place on Mondays 5. DS Room: APB E005 Start: 15.4.2024 Description of topics and goals.
Literature:	* H.-D. Ebbinghaus , J. Flum , W. Thomas: Mathematical Logic (https://link.springer.com/book/10.1007/978-1-4757-2355-7) Literature list (free text), use "*" at the start of lines to create bulleted lists

Dates of lectures and exercises

Weitere hinzufügen

Zusammenfassung:

Abbrechen