Seminarium, na którym będziemy omawiać zagadnienia tworzenia programów grających (samodzielnie) w różnego rodzaju gry, w tym takie, których opis (w formalnym języku) jest podany programowi.