Скорубский, Владимир Иванович. Математическая логика: учебник и практикум для вузов / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Электрон. дан. — Москва: Юрайт, 2023. — 211 с. — (Высшее образование). — URL: https://urait.ru/bcode/511996 (дата обращения: 12.01.2023). — Режим доступа: Электронно-библиотечная система Юрайт, для авториз. пользователей. — <URL:https://urait.ru/bcode/511996>.

Дата создания записи: 19.09.2016

Тематика: Логика; Гуманитарные и общественные науки.; Дискретная математика и математическая логика; Математическая логика и теория алгоритмов; Дополнительные главы дискретной математики, математической логики; Математическая логика; Теория графов и математическая логика; дискретная математика, математическая логика и их приложения в информатике и компьютерных науках; Логика и алгоритмы; Логика и математика для дошкольников; Формирование логико-математических представлений; Современные проблемы математической логики и теории алгоритмов; Математическая логика, теория графов и алгоритмов; Основы математической логики и теории алгоритмов; Основы логики и теории графов; Математическая логика и формальные языки; Математическая логика и теория графов; Математическая логика и теория алгоритм; Математическая логика в обучении математики; Элементы математической логики и теории алгоритмов в школьном курсе математики; Алгебра и математическая логика; Прикладная теория алгоритмов и математической логики в вычислительной технике; Математическая логика и дискретная математика; Математическая логика и теория алгоритмов Высшей математики; Прикладная математика и математическая логика; Основы математической логики и теория множеств; Основы математической логики; Основы математической логики и информатики; Элементы математической логики и теории множеств; Математическая логика и теория; Основы цифровых устройств и математическая логика; Логика высказываний и булевы алгебры; Функции алгебры логики; Теория и методика логико-математического развития детей; Специальные разделы математической логики; Математическая логика и конечные автоматы; Математическая логика и теория алгоритмов в машиностроении; Введение в математическую логику; Применение математической логики в системах управления; Логика и дискретная математика

УДК: 510.6(075.8)

ББК: 22.12я73

Коллекции: Электронные книги издательства Юрайт