Математическая логика и теория алгоритмов (Блатов И.А., Старожилова О.В.) » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Лоция внутренних водных путей Лоция внутренних водных путей Сбор и приготовление зоологических коллекций Сбор и приготовление зоологических коллекций Империя Чингис-хана Империя Чингис-хана Введение в эволюционную информатику Введение в эволюционную информатику Выдра Сахалина (биология и хозяйственное использование) Выдра Сахалина (биология и хозяйственное использование) Химия отравляющих веществ (в 2-х томах) Химия отравляющих веществ (в 2-х томах) Курс теории вероятностей Курс теории вероятностей Go by Example (MEAP v7) Go by Example (MEAP v7) Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms Coding Examples from Simple to Complex: Applications in MATLAB Coding Examples from Simple to Complex: Applications in MATLAB История Англии (2008) История Англии (2008) Комплект из 70 писем для продажи инфопродуктов Комплект из 70 писем для продажи инфопродуктов The Book of Pintxos: Discover the Legendary Small Bites of Basque Country The Book of Pintxos: Discover the Legendary Small Bites of Basque Country Сам себе тестировщик. Пошаговое руководство по тестированию ПО Сам себе тестировщик. Пошаговое руководство по тестированию ПО
Лоция внутренних водных путей Лоция внутренних водных путей Сбор и приготовление зоологических коллекций Сбор и приготовление зоологических коллекций Империя Чингис-хана Империя Чингис-хана Введение в эволюционную информатику Введение в эволюционную информатику Выдра Сахалина (биология и хозяйственное использование) Выдра Сахалина (биология и хозяйственное использование) Химия отравляющих веществ (в 2-х томах) Химия отравляющих веществ (в 2-х томах) Курс теории вероятностей Курс теории вероятностей Go by Example (MEAP v7) Go by Example (MEAP v7) Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Machine Learning with Python: Master Pandas, Scikit-learn, and TensorFlow for Building Smart IA Models Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises Python Essentials 1: The Official OpenEDG Python Institute beginners course with practical exercises New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms New Directions on Hybrid Intelligent Systems Based on Neural Networks, Fuzzy Logic, and Optimization Algorithms Coding Examples from Simple to Complex: Applications in MATLAB Coding Examples from Simple to Complex: Applications in MATLAB История Англии (2008) История Англии (2008) Комплект из 70 писем для продажи инфопродуктов Комплект из 70 писем для продажи инфопродуктов The Book of Pintxos: Discover the Legendary Small Bites of Basque Country The Book of Pintxos: Discover the Legendary Small Bites of Basque Country Сам себе тестировщик. Пошаговое руководство по тестированию ПО Сам себе тестировщик. Пошаговое руководство по тестированию ПО
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Математическая логика и теория алгоритмов (Блатов И.А., Старожилова О.В.)
Добавил: gusnat / 24-11-2018, 06:18 /
Математическая логика и теория алгоритмов (Блатов И.А., Старожилова О.В.)
Название: Математическая логика и теория алгоритмов
Автор: Блатов И.А., Старожилова О.В.
Издательство: Самара: ПГУТИ
Год: 2017
Страниц: 214
Формат: djvu
Размер: 30,3 Мб
Язык: Русский

В настоящее время математическая логика с успехом применяется в радиотехнике, лингвистике, теории автоматического управления, программировании, системах искусственного интеллекта. Пособие затрагивает такие разделы математической логики и теории алгоритмов как: алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов, элементы теории алгоритмов. Каждый раздел заканчивается контрольными вопросами, которые помогут проверить теоретическое освоение курса, содержит большое количество задач для самостоятельного решения и ответы для проверки. Пособие предназначено для студентов и специалистов, желающих изучать математическую логику самостоятельно.

 Показать / Скрыть текст




[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!