Ваш поиск дал 19 результатов

Результаты поиска
	1.		КнигаЯзыки и исчисления / Н.К. Верещагин, А. ШеньВерещагин, Николай Константинович -- АвторШень, Александр -- Автор2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	2.		КнигаЯзыки и исчисления / Н.К. Верещагин, А. ШеньВерещагин, Николай Константинович -- АвторШень, Александр Ханьевич -- Автор2008Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-3/11303 (2), РНБ (Садовая)Шифр хранения: У В12/В-317 (1). Добавить в подборку (удалить)
	3.		КнигаМатематическая логика. Логика высказываний и логика предикатов : Учеб. пособие : [Для студентов III курса мат. фак.] / Л.В. Шабунин ; М-во образования Рос. Федерации, Чуваш. гос. ун-т им. И.Н. УльяноваШабунин, Леонид Васильевич -- Автор2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-4/9121 (2). Добавить в подборку (удалить)
	4.		КнигаОбучение формализации и проверке правильности рассуждений средствами исчислений высказываний и предикатов : учебное пособие / Т. М. Косовская ; Санкт-Петербургский гос. ун-тКосовская, Татьяна Матвеевна2013Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	5.		КнигаЯзыки и исчисления : учебное издание для вузов / Н. К. Верещагин, А. ШеньВерещагин, Николай Константинович (1893-1962)Шень, Александр Ханьевич (1958-)печ. 2024 (макет 2025)Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2025-3/2061 (2). Добавить в подборку (удалить)
	6.		КнигаЯзыки и исчисления / Н.К. Верещагин, А. ШеньВерещагин, Н. К. -- АвторШень, Александр Ханьевич -- Автор2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2001-3/2263 (2). Добавить в подборку (удалить)
	7.		КнигаЯзыки и исчисления / Н.К. Верещагин, А. ШеньВерещагин, Н. К. -- АвторШень, А. -- Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-3/18135 (4). Добавить в подборку (удалить)
	8.		КнигаЭлементы математической логики и теории множеств : учебно-методическое пособие / Сиб. гос. ун-т путей сообщ. ; [Вдовин Виктор Васильевич и др.]2016Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	9.		КнигаТаинственные страницы : занимательная криптография / Иван ЕфишовЕфишов, Иван Иванович2016Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	10.		КнигаТестирование и распознавание свойств дискретных функций : учебная монография / А. А. Вороненко ; Московский гос. ун-т им. М. В. Ломоносова, Фак. вычислительной математики и кибернетикиВороненко, Андрей Анатольевич (1972-) -- Автор2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-4/8792 (2). Добавить в подборку (удалить)
	11.		КнигаЭлементы теории множеств и математической логики : учебное пособие : для студентов высших учебных заведений, обучающихся по специальности "Математика" и по направлениям "Математика" и "Математика. Прикладная математика" / В.Г. Дурнев ; М-во образования и науки Российской Федерации, Федеральное агентство по образованию, Ярославский гос. ун-т им. П.Г. ДемидоваДурнев, Валерий Георгиевич -- Автор2009Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-8/1265 (2). Добавить в подборку (удалить)
	12.		КнигаТеория автоматов и машинная арифметика : учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки "Информатика и вычислительная техника" / А. И. Постников, Е. А. Вейсов ; Федеральное агентство по образованию, Красноярский гос. технический ун-тПостников, Александр Иванович -- АвторВейсов, Евгений Алексеевич -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-3/14804 (2). Добавить в подборку (удалить)
	13.		КнигаСильные операторы замыкания : учебное пособие / С.С. Марченков ; Московский государственный университет имени М.В. Ломоносова, Факультет вычислительной математики и кибернетикиМарченков, Сергей Серафимович2017Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	14.		КнигаБулевы алгебры : учебное пособие : [для студентов, обучающихся по специальностям "Прикладная математика и информатика" и "Прикладная информатика"] / Н. В. Труб, Д. В. Нуцубидзе ; Министерство образования и науки, Московский государственный гуманитарно-экономический университетТруб, Наталья ВасильевнаНуцубидзе, Давид Вахтангович2017Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	15.		КнигаМатематические основы искусственного интеллекта : теория LP-структур для построения и исследования моделей знаний продукционного типа / С. Д. Махортов ; под ред. В. А. ВасенинаМахортов, Сергей Дмитриевич -- Автор2009Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2010-5/3646 (3). Добавить в подборку (удалить)
	16.		КнигаВведение в интеллектуальные системы : учебное пособие / Н. А. Балонин, Н. В. Соловьёв, Т. Н. Соловьёва ; М-во образования и науки Российской Федерации, Федеральное гос. авт. образовательное учреждение высш. проф. образования Санкт-Петербургский гос. ун-т аэрокосмического приборостроенияБалонин, Николай АлексеевичСоловьев, Николай Владимирович ;Соловьева, Татьяна Николаевна 2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	17.		КнигаПрименение многозначной логики в цифровой технике / В.А. КалинниковКалинников, В. А. -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-6/1164 (2). Добавить в подборку (удалить)
	18.		КнигаМатематические основы теории конечных автоматов : учебное пособие : [для студентов, обучающихся по специальностям 180201 "Системы электроэнергетики и автоматизации судов" и 180202 "Системотехника объектов морской инфраструктуры"] / О.Б. Болдина ; Федер. агентство по образованию, Гос. образоват. учреждение высш. проф. образования "С.-Петерб. гос. морск. техн. ун-т"Болдина, Ольга Борисовна -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/5765 (2). Добавить в подборку (удалить)
	19.		КнигаНечеткие множества и логика : учебно-методическое пособие для студентов высших учебных заведений, обучающихся по специальности 351400 "Прикладная информатика (по областям)" / С. С. Новосельцева ; Федер. агентство по образованию, Гос. образоват. учреждение высш. проф. образования "Норильский индустриальный ин-т"Новосельцева, Светлана Сергеевна -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-3/12095 (1). Добавить в подборку (удалить)

Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru