Logics for computer scientists
General data
Course ID: | 1000-217bLOG |
Erasmus code / ISCED: |
11.304
|
Course title: | Logics for computer scientists |
Name in Polish: | Logika dla informatyków |
Organizational unit: | Faculty of Mathematics, Informatics, and Mechanics |
Course groups: |
Obligatory courses for 1st grade 2nd stage Computer Science |
ECTS credit allocation (and other scores): |
6.00
|
Language: | English |
Type of course: | obligatory courses |
Short description: |
Introduction to propositional logic and first-order logic: element of model theory, elements of proof theory, role in computer science. Other logics important in computer science. |
Full description: |
1. Propositional logic. 2. First-order logic: definitions, logic in use, limitations of expressive power. 3. Proof theory: proof systems for propositional logic, proof systems for first-order logic, completeness theorem for first-order logic. 4. Model theory: compactness theorem, Skolem-Loewenheim theorem about cardinalities of models. 5. Arithmetic and G?del's incompleteness theorem. 6. Logics in computer science: three-valued logics, Codd's theorem about equivalence of first-order logic and relational algebra, decidability of logical theories 7. At least one of the following topics: a. Logic of programs: PDL, b. Propositional temporal logic LTL, c. Intuitionistic logic, d. Second order logic. |
Bibliography: |
http://www.mimuw.edu.pl/~urzy/calosc.pdf |
Learning outcomes: |
(in Polish) Wiedza: absolwent zna i rozumie * w pogłębionym stopniu - wiedzę z działów matematyki niezbędnych do studiowania informatyki (logika i jej związki z informatyką, teoria złożoności) [K_W01], * w pogłębionym stopniu - rolę i znaczenie konstrukcji rozumowań matematycznych [K_W02]. Umiejętności: absolwent potrafi * konstruować rozumowania matematyczne [K_U01], * wyrażać problemy obliczeniowe w języku matematyki [K_U02], * analizować pojęcia sformalizowane w wybranych systemach logicznych o znaczeniu informatycznym, tworzyć w nich formalizacje zadanych pojęć bądź też dowodzić niemożności takiej formalizacji [K_U07]. |
Classes in period "Summer semester 2023/24" (in progress)
Time span: | 2024-02-19 - 2024-06-16 |
Navigate to timetable
MO WYK
CW
LAB
TU W CW
TH LAB
LAB
CW
CW
FR LAB
LAB
CW
|
Type of class: |
Classes, 30 hours
Lab, 15 hours
Lecture, 30 hours
|
|
Coordinators: | Jacek Chrząszcz, Jerzy Tyszkiewicz | |
Group instructors: | Jacek Chrząszcz, Lorenzo Clemente, Michał Godziszewski, Tomáš Masařík, Filip Mazowiecki, Jerzy Tyszkiewicz, Daria Walukiewicz-Chrząszcz | |
Students list: | (inaccessible to you) | |
Examination: | Examination |
Classes in period "Summer semester 2024/25" (future)
Time span: | 2025-02-17 - 2025-06-08 |
Navigate to timetable
MO TU W TH FR |
Type of class: |
Classes, 30 hours
Lab, 15 hours
Lecture, 30 hours
|
|
Coordinators: | Filip Mazowiecki | |
Group instructors: | Jacek Chrząszcz, Tomasz Gogacz, Tomáš Masařík, Filip Mazowiecki, Daria Walukiewicz-Chrząszcz | |
Students list: | (inaccessible to you) | |
Examination: | Examination |
Copyright by University of Warsaw.