Przedmiot jest kontynuacją Logiki dla Informatyków przeznaczoną dla studentów zainteresowanych teorią informatyki. Celem jego jest rozszerzenie podstaw wiedzy z zakresu logiki matematycznej i dziedzin pokrewnych o narzędzia potrzebne do zaawansowanych studiów w obszarach związanych z logiką i weryfikacją czy teorią języków programowania, bez wchodzenia w tematykę ściśle badawczą. W tym celu będziemy koncentrować się na podstawowych zagadnieniach trzech aspektów logiki matematycznej: algebry uniwersalnej, teorii dowodu i podstawach semantyki logik, z naciskiem na perspektywę i użyteczność w informatyce
- Nauczyciel: Filip Sieczkowski