Герб МГТУ им. Н.Э. БауманаНаучно-техническая библиотека МГТУ им. Н.Э. Баумана
Очистить
44 записи
Глухов М. М., Шишков А. Б.
   Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие для вузов / Глухов М. М., Шишков А. Б. - СПб. : Лань, 2012. - 405 с. - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7.
13 экз.
Судоплатов С. В., Овчинникова Е. В.
   Математическая логика и теория алгоритмов : [учебник] / Судоплатов С. В., Овчинникова Е. В. - 3-е изд. - Новосибирск : Изд-во НГТУ, 2012. - 255 с. - (Учебники НГТУ). - Библиогр.: с. 224-226. - ISBN 978-5-7782-1838-3.
2 экз.
Герасимов А. С.
   Курс математической логики и теории вычислимости : учеб. пособие / Герасимов А. С. - 4-е изд., перераб. и доп. - СПб. : Лань, 2014. - 409 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 380-383. - ISBN 978-5-8114-1666-0.
5 экз.
Гринченков Д. В., Потоцкий С. И.
   Математическая логика и теория алгоритмов для программистов : учебное пособие для вузов / Гринченков Д. В., Потоцкий С. И. - М. : Кнорус, 2017. - 206 с. - Библиогр.: с. 205-206. - ISBN 978-5-406-05421-5.
2 экз.
Страница: ... 1 2 3 4 5