Электрондық каталог

22.12я7
У 61
Унучек, С. А.
    Математическая логика : учебное пособие / С. А. Унучек. - М. : Ай Пи Ар Медиа , 2024. - 240 с. - ISBN 978-5-4497-3091-6 : 11290. 05 тг.

ББК 22.12я7

Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ

   МАТЕМАТИЧЕСКАЯ ЛОГИКА

Кл.слова (ненормированные):
математическая логика -- Булевы функции -- рассуждения -- доказательства -- графы -- отношения -- комбинаторика -- машина Тъюринга -- элементы теории множеств -- минимизация автоматов -- алгоритм Маркова -- метод Квайна -- теория рекурсивных функций -- учебное пособие
Аннотация: Учебное пособие предназначено для студентов высших учебных заведений, изучающих дисциплины "Математическая логика и теория алгоритмов" и "Дискретная математика", обучающихся по укрупненным группам направлений подготовки и специальностей "Математика и механика", "Электроника, радиотехника и системы связи", укрупненной группе направлений подготовки "Информатика и вычислительная техника" и так далее. Пособие также может быть полезно студентам других специальностей и преподавателям, а также всем желающим начать самостоятельное изучение математической логики.
Экземпляры всего: 2
2.1-№2 Ч/З (2)
Свободны: 2.1-№2 Ч/З (2)