Научная библиотека ТГУ catalog › Results of search for 'su:"логика предикатов"'

Search

Your search returned 6 results.

	1.	No cover image available Введение в математическую логику Э. Мендельсон; Пер. с англ. Ф. А. Кабакова; Под ред. С. И. Адяна by Мендельсон, Эллиот \| Адян, С. И [ред.]. Edition: 3-е изд.Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Наука. Физматлит 1984Other title: Introduction to mathematical logic.Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Математическая логика и теория алгоритмов [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"] В. Н. Крупский, В. Е. Плиско by Крупский, Владимир Николаевич \| Плиско, Валерий Егорович. Series: Бакалавриат \| Высшее профессиональное образованиеMaterial type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Академия 2013Availability: No items available : Log in to add tags Add to cart (remove)
	3.	Математическая логика и теория алгоритмов для программистов [учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"] Д. В. Гринченков, С. И. Потоцкий by Гринченков, Дмитрий Валерьевич \| Потоцкий, Сергей Иванович. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КноРус 2017Availability: No items available : Log in to add tags Add to cart (remove)
	4.	Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"] В. М. Зюзьков, А. А. Шелупанов by Зюзьков, Валентин Михайлович \| Шелупанов, Александр Александрович, 1954-. Series: Учебное пособие для высших учебных заведенийEdition: 2-е изд.Material type: Text; Format: print ; Literary form: Not fiction Publication details: Москва Горячая линия - Телеком 2007Availability: No items available : Log in to add tags Add to cart (remove)
	5.	Математическая логика и теория алгоритмов для программистов учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" Д. В. Гринченков, С. И. Потоцкий by Гринченков, Дмитрий Валерьевич \| Потоцкий, Сергей Иванович. Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Кнорус 2010Availability: No items available : Log in to add tags Add to cart (remove)
	6.	Математическая логика. Дискретные функции. Теория алгоритмов [учебное пособие для вузов по направлению подготовки (специальности) 090301 - "Компьютерная безопасность", 090303 - "Информационная безопасность автоматизированных систем"] М. М. Глухов, А. Б. Шишков by Глухов, Михаил Михайлович доктор физ.-мат. наук \| Шишков, Алексей Борисович. Series: Учебники для вузовMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Санкт-Петербург [и др.] Лань 2012Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available : Log in to add tags Add to cart (remove)