Przedmiot jest adresowany do słuchaczy, co do których nie ma wątpliwości, że dobrze rozumieją co to jest rozumowanie matematyczne, i którzy zetknęli się wcześniej z wieloma pojęciami objętymi programem przedmiotu ,,Logika dla
informatyków". Dlatego program nie tylko obejmuje wszystkie elementy programu przedmiotu ,,Logika dla informatyków", ale znacznie poza niego wychodzi ku kwestiom bardziej zaawansowanym.
