Celem wykładu jest przybliżenie słuchaczowi podstawowych problemów współczesnej syntezy logicznej. W ramach wykładów przedstawiane są różnorodne aspekty syntezy logicznej, które mogą stać się początkiem badań stanowiących podstawą rozprawy doktorskiej. Słuchacz poznaje między innymi zarys klasycznej teorii dekompozycji, różnorodne pomysły oryginalnego wykorzystania zasobów struktur programowalnych, probabilistyczny opis automatów sekwencyjnych oraz  metodykę badań eksperymentalnych pozwalających na weryfikację opracowanych strategii syntezy logicznej. Tematyka wykładów w istotnej części (dwa wykłady) jest dopasowywana do zainteresowań naukowych słuchaczy.