Print syllabus(in Polish) Seminarium badawcze "Logika i teoria typów"
General data
| Course ID: | 1000-2S19LTT |
| Erasmus code / ISCED: | (unknown) / (unknown) |
| Course title: | (unknown) |
| Name in Polish: | Seminarium badawcze "Logika i teoria typów" |
| Organizational unit: | Faculty of Mathematics, Informatics, and Mechanics |
| Course groups: | |
| ECTS credit allocation (and other scores): |
6.00
|
| Language: | (unknown) |
| Short description: |
The seminar is a host of topics related to lambda calculus, type theory and constructive logics. The theoretical matters are discussed in connection with computer science, in particular with its fields such as automated theorem proving, functional programming and databases. |
| Assessment methods and assessment criteria: |
A PhD student to get its mark needs to give at least two talks, one in each semester. |
Classes in period "Academic year 2023/24" (in progress)
| Time span: | 2023-10-01 - 2024-06-16 |
 
MO TU W TH FR SEM-BAD
|
| Type of class: |
Research seminar
|
|
| Coordinators: | Aleksy Schubert, Paweł Urzyczyn | |
| Group instructors: | Aleksy Schubert, Paweł Urzyczyn | |
| Students list: | (inaccessible to you) | |
| Examination: | Pass/fail |
Classes in period "Academic year 2024/25" (future)
| Time span: | 2024-10-01 - 2025-06-08 |
MO TU W TH FR |
| Type of class: |
Research seminar
|
|
| Coordinators: | Aleksy Schubert, Paweł Urzyczyn | |
| Group instructors: | Aleksy Schubert, Paweł Urzyczyn | |
| Students list: | (inaccessible to you) | |
| Examination: | Pass/fail |
Course descriptions are protected by copyright.
Copyright by University of Warsaw.
Copyright by University of Warsaw.
