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

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

Бояринцева Т. Е.
   Методические указания к выполнению типового расчета по теории множеств / Бояринцева Т. Е. ; ред. Соболев С. К. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2000. - 27 с. : ил. - ISBN 5-7038-1551-7.

Бояринцева Т. Е., Щетинин А. Н., Краснов И. К.
   Формальные языки и конечные автоматы : учеб. пособие / Бояринцева Т. Е., Щетинин А. Н., Краснов И. К. ; ред. Хомич В. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2002. - 34 с. - Библиогр.: с. 33. - ISBN 5-7038-1951-2.

Брусенцов Н. П.
   Алгебраическая реконструкция силлогистики / Брусенцов Н. П. // Информационные технологии. - 2008. - № 2. - С. 7-10.

   Булевы функции : метод. указания по решению типовых задач / Богомолова Н. Е., Вайц Е. В., Грачёва Ю. В., Добрыченко А. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2015. - 56 с. : ил. - Библиогр. в конце брош. - ISBN 978-5-7038-4288-1.

Буховец А. Г., Москалев П. В.
   Алгоритмы вычислительной статистики в системе R : учебное пособие для вузов / Буховец А. Г., Москалев П. В. - 2-е изд., перераб. и доп. - СПб. : Лань, 2015. - 147 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 126. - ISBN 978-5-8114-1802-2.

Верещагин Н. К., Успенский В. А., Шень А.
   Колмогоровская сложность и алгоритмическая случайность / Верещагин Н. К., Успенский В. А., Шень А. - М. : Изд-во МЦНМО, 2013. - 575 с. : ил. - Библиогр.: с. 546-558. - ISBN 978-5-4439-0212-8.

Верещагин Н. К., Шень А.
   Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - М. : МЦНМО, 1999. - (Современные лекционные курсы).
   Ч. 1 : Начала теории множеств. - 1999. - 126 с. - Библиогр.: с. 121-122. - ISBN 5-900916-36-7.

Верещагин Н. К., Шень А.
   Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - М. : МЦНМО, 1999. - (Современные лекционные курсы).
   Ч. 3 : Вычислимые функции. - 1999. - 173 с. - Библиогр.: с. 166-167. - ISBN 5-900916-39-1.

Верещагин Н. К., Шень А.
   Лекции по математической логике и теории алгоритмов / Верещагин Н. К., Шень А. - 3-е изд., стер. - М. : Изд-во МЦНМО, 2008. - (Современные лекционные курсы).
   Ч. 3 : Вычислимые функции. - 2008. - 189 с. - Библиогр.: с. 179-180. - ISBN 978-5-94057-323-4.