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

Bibliographic Details
Main Author:	Шапорев С. Д.
Published:	СПб., БХВ-Петербург, 2005
Subjects:	математическая логика алгебра высказывания исчисление предикаты алгоритмы ответы задачи решения практические занятия алгебра Буля закон двойственности карты Карно полиномы Жегалкина теорема дедукции алгоритм Квайна эквивалентные формулы дедуктивная эквивалентность скулемовские функции машины Тьюринга учебные пособия
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88785

Similar Items