Расширенный поиск

Гринченков Д. В., Потоцкий С. И.
   Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : Кнорус, 2017. - 206 с. - Библиогр.: с. 205-206. - ISBN 978-5-406-05421-5.

   Вычислительные системы : сборник научных трудов / Российская академия наук, Сибирское отделение, Институт математики. - Новосибирск, 1994. - С 1995 г. Институт математики переименован в Институт математики им. С. Л. Соболева. - ISSN 0568-661X.
   Вып. 148 : Логические методы в информатике / науч. ред. Ершов Ю. Л., Гончаров С. С. - 1993. - 176 с. - Библиогр. в конце статей. - ISBN 5-7623-0675-5.

Гамова А. Н.
   Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Издательство Саратовского университета, 2020. - ISBN 978-5-292-04649-3.

Задохина Н. В.
   Математика и информатика. Решение логико-познавательных задач : учебное пособие для студентов вузов / Задохина Н. В. - ЮНИТИ-ДАНА, 2017. - ISBN 978-5-238-02661-9.

Прокопенко Н. Ю.
   Математическая логика и булевы функции : учебно-методическое пособие / Прокопенко Н. Ю. - Нижегородский государственный архитектурно-строительный университет, ЭБС АСВ, 2021.

Унучек С. А.
   Математическая логика : учебное пособие / Унучек С. А. - Ай Пи Эр Медиа, 2018. - ISBN 978-5-4486-0086-9.

Мирзоев М. С.
   Математическая культура учителя информатики. Теоретико-методический аспект : монография / Мирзоев М. С. - Прометей, 2015. - ISBN 978-5-9906550-2-7.

Гетманова А. Д.
   Классическая и неклассические логики — необходимый компонент науки и современного образования : научно-методическое пособие для аспирантов всех специальностей / Гетманова А. Д. - Московский городской педагогический университет, 2010.

Маньшин М. Е.
   Математическая логика и теория алгоритмов : учебное пособие / Маньшин М. Е. - Волгоградский институт бизнеса, 2009. - ISBN 978-5-9061-7260-0.

Шнарева Г. В.
   Дискретная математика. Ч. 2 : учебно-методическое пособие для самостоятельной подготовки (квалификация - бакалавр) / Шнарева Г. В. - Университет экономики и управления, 2021.