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

Бунина Е. И., Голубков А. Ю.
   Введение в теорию формальных языков : учеб. пособие для вузов / Бунина Е. И., Голубков А. Ю. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2006. - 93 с. : ил. - Библиогр.: с. 91. - ISBN 5-7038-2880-5.

Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
   Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2011. - 43 с. : ил. - Библиогр. в конце брош.

Триумфгородских М. В.
   Дискретная математика и математическая логика для информатиков, экономистов и менеджеров : учебное пособие для вузов / Триумфгородских М. В. - М. : ДИАЛОГ-МИФИ, 2011. - 180 с. : ил. - Библиогр. в конце глав. - ISBN 978-5-86404-238-0.

Тюрин С. Ф., Аляев Ю. А.
   Дискретная математика: Практическая дискретная математика и математическая логика : учебное пособие для вузов / Тюрин С. Ф., Аляев Ю. А. - М. : Финансы и статистика : ИНФРА-М, 2012. - 382 с. : ил. - Библиогр.: с. 382. - ISBN 978-5-279-03463-5. - ISBN 978-5-16-004381-4.

Яхъяева Г. Э.
   Нечеткие множества и нейронные сети : учеб. пособие / Яхъяева Г. Э. - 2-е изд., испр. - М. : Интернет- Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2011. - 315 с. : ил. - (Основы информационных технологий). - Библиогр.: с. 315. - ISBN 978-5-94774-818-5.

Яхъяева Г. Э.
   Нечеткие множества и нейронные сети : учеб. пособие / Яхъяева Г. Э. - 2-е изд., испр. - М. : Интернет-Университет Информационных Технологий : БИНОМ. Лаборатория знаний, 2012. - 315 с. : ил. - (Основы информационных технологий). - Библиогр.: с. 315. - ISBN 978-5-94774-818-5.

Глухов М. М., Шишков А. Б.
   Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для вузов / Глухов М. М., Шишков А. Б. - СПб. : Лань, 2012. - 405 с. - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7.

Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.: с. 224-226. - ISBN 978-5-7782-1838-3.

   Математическая логика в программировании : сборник статей / ред. пер. с англ. Захарьящев М. В., Янов Ю. И. - М. : Мир, 1991. - 407 с. - (Математическое обеспечение ЭВМ). - Библиогр. в конце статей. - ISBN 5-03-001635-X.

Герасимов А. С.
   Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 380-383. - ISBN 978-5-8114-1666-0.