База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
Гамова, А. Н.
Математическая логика и теория алгоритмов : учебное пособие для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий / Гамова А. Н. - Саратов : Издательство Саратовского университета, 2020. - 91 с. - ISBN 978-5-292-04649-3 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
исчисление -- математическая логика -- теория алгоритма
Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий, а также магистров и аспирантов.
2.
Подробнее
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.12я73
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
Бесценный, И. П.
Математическая логика : учебное пособие / Бесценный И. П. - Омск : Омский государственный университет им. Ф.М. Достоевского, 2016. - 76 с. - ISBN 978-5-7779-2002-7 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
вероятностная семантика -- исчисление высказывания -- исчисление предикатов -- математическая логика -- таблица истинности
Аннотация: Предназначено для выработки практических навыков решения задач по математической логике. Для студентов очной и заочной форм обучения по направлениям подготовки «Информатика и вычислительная техника» и «Прикладная информатика».
Доп.точки доступа:
Бесценная, Е. В.
Страница 1, Результатов: 2