Proponowany 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 (w odróżnieniu od perspektyw matematycznej czy filozoficznej).
Przedmiot polecamy dla zainteresowanych studentów wyższych lat studiów I stopnia (_dobra_ ocena z LdI silnie wskazana); w szczególnych przypadkach może też być właściwy dla studentów II stopnia pragnących wyrównać pewne braki materiału (tu konkretne zasady do ustalenia w porozumieniu z dyrekcją — FS).
