Математическая логика и теория алгоритмов учебник и практикум для вузов

Математическая логика и теория алгоритмов, учебник и практикум для вузов

Dades bibliogràfiques
Autor principal:	Судоплатов С. В. Сергей Владимирович
Altres autors:	Овчинникова Е. В. Елена Викторовна
Sumari:	URL: https://urait.ru/bcode/447321 (дата обращения: 27.08.2025). В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
Publicat:	Москва, Юрайт, 2022
Edició:	5-е изд.
Col·lecció:	Высшее образование
Matèries:	Математика: общие работы Математика и статистика Дискретная математика Математическая логика и теория алгоритмов Теория алгоритмов Математическая логика Дискретный анализ Дополнительные главы дискретной математики Дополнительные главы математической логики и теории алгоритмов Математика. Дискретная математика Метрики в дискретной математике Введение в дискретную математику Информатика, математическая логика и теория алгоритмов Дополнительные главы теории алгоритмов Теория дискретных преобразователей Основы дискретной математики Дополнительные разделы дискретной математики Алгоритмы дискретной математики Теория дискретных функций Теоретические основы дискретных вычислений ИКТ в решении задач дискретной математики Приложения дискретной математики Специальные разделы дискретной математики Прикладные задачи дискретной техники Методика применения математического аппарата при решении нестандартных задач Нестандартные логики Приложения алгебры и предикатов Неклассические методы обработки статистических данных Современные методы в дискретной математике Нестандартные задачи по математике Фундаментальные основы дискретной математики Дискретные и непрерывные статистические распределения Математические основы дискретной техники Дискретные структуры Основы математической логики Локализация энергии в дискретных волновых системах Дискретно-непрерывные динамические сети Специальные главы дискретной математики Матлогика и теория алгоритмов Функциональная логика и теория алгоритмов Введение в математическую логику Дискретные модели Алгебра, геометрия и математическая логика зрения Современные проблемы математической логики и теории алгоритмов Алгоритмы в дискретной математике и оценки их сложности
Accés en línia:	https://urait.ru/bcode/447321
Format:	Electrònic Llibre

Internet

https://urait.ru/bcode/447321