83 записи
Алгебро-логические конструкции : сборник научных трудов / Министерство высшего и среднего специального образования РСФСР, Калининский государственный университет ; отв. ред. Горчаков Ю. М. - Калинин, 1989. - 121 с. - Библиогр. в конце статей .
Алгоритмические вопросы алгебры и логики : сб. ст. / Российская академия наук. - М. : МАИК "Наука/Интерпериодика", 2011. - 351 с. - (Труды / Математический институт им. В. А. Стеклова ; т. 274). - Библиогр. в конце ст. - ISBN 978-5-7846-0119-3 .
Андриков Д. А., Жегалов С. Н., Эфендиева А. А.
Методические указания к лабораторным работам по курсу «Нечеткое управление» / Андриков Д. А., Жегалов С. Н., Эфендиева А. А. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2025. - [48] с. -ISBN 978-5-7038-6683-2 .
Методические указания к лабораторным работам по курсу «Нечеткое управление» / Андриков Д. А., Жегалов С. Н., Эфендиева А. А. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2025. - [48] с. -
Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2011. - 43 с. : ил. - Библиогр.в конце брош.
Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2011. - 43 с. : ил. - Библиогр.
Бояринцева Т. Е., Щетинин А. Н., Краснов И. К.
Формальные языки и конечные автоматы : учеб. пособие / Бояринцева Т. Е., Щетинин А. Н., Краснов И. К. ; ред. Хомич В. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2002. - 34 с. - Библиогр.:с. 33 . - ISBN 5-7038-1951-2 .
Формальные языки и конечные автоматы : учеб. пособие / Бояринцева Т. Е., Щетинин А. Н., Краснов И. К. ; ред. Хомич В. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2002. - 34 с. - Библиогр.:
Статья
Брусенцов Н. П.
Алгебраическая реконструкция силлогистики / Брусенцов Н. П. // Информационные технологии. - 2008. - № 2. -С. 7-10 .
Алгебраическая реконструкция силлогистики / Брусенцов Н. П. // Информационные технологии. - 2008. - № 2. -
Булевы функции : метод. указания по решению типовых задач / Богомолова Н. Е., Вайц Е. В., Грачёва Ю. В., Добрыченко А. И. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2015. - 56 с. : ил. - Библиогр. в конце брош. - ISBN 978-5-7038-4288-1 .
Виноградова М. С., Ткачев С. Б.
Булевы функции : метод. указания к выполнению типового расчета / Виноградова М. С., Ткачев С. Б. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2007. - 31 с. ил. - Библиогр.в конце брош.
Булевы функции : метод. указания к выполнению типового расчета / Виноградова М. С., Ткачев С. Б. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2007. - 31 с. ил. - Библиогр.
Герасимов А. С.
Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.:с. 380-383 . - ISBN 978-5-8114-1666-0 .
Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.:
