Математическая логика. Курс лекций и практических занятий: учебное пособие

Detaylı Bibliyografya
Yazar:	Шапорев С. Д.
Dil:	Rusça
Baskı/Yayın Bilgisi:	СПб., БХВ-Петербург, 2005
Konular:	математическая логика алгебра высказывания исчисление предикаты алгоритмы ответы задачи решения практические занятия алгебра Буля закон двойственности карты Карно полиномы Жегалкина теорема дедукции алгоритм Квайна эквивалентные формулы дедуктивная эквивалентность скулемовские функции машины Тьюринга учебные пособия
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88785

Benzer Materyaller