Proponowany przedmiot jest kontynuacją Logiki dla Informatyków przeznaczoną dla studentów zainteresowanych teorią informatyki. Naszym celem 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. W tym celu chcemy skoncentrować się na podstawowych zagadnieniach trzech aspektów logiki matematycznej: algebry uniwersalnej, teorii dowodu i teorii modeli, z naciskiem na perspektywę i użyteczność w informatyce (w odróżnieniu od perspektyw matematycznej czy filozoficznej).
Przedmiot polecamy dla studentów pierwszego roku którzy _dobrze_ zdali LdI i zainteresowanych studentów wyższych lat studiów I stopnia; w wybranych 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 — FS).
W edycji 2021 przedmiot ma charakter ściśle eksperymentalny.
