Войти в аккаунт   Зарегистрироваться
0

Книги и Журналы » Скачать Математическая логика и теория алгоритмов: учебное пособие

Математическая логика и теория алгоритмов: учебное пособие
Математическая логика и теория алгоритмов: учебное пособие — Учебное пособие предназначено для студентов, изучающих дисциплины «Математическая логика и теория алгоритмов» и «Дискретная математика», обучающихся по специальностям «Информатика и вычислительная техника» и «Системы автоматизированного проектирования». Математическая логика является важнейшим элементом математического образования. Пособие ставит своей целью помочь студентам лучше усвоить теоретический и практический материал по курсу «Математическая логика и теория алгоритмов». Пособие посвящено изучению важных разделов математической логики (алгебры высказываний, логики предикатов) и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам. Это пособие содержит большое количество примеров, иллюстрирующих основные понятия указанных разделов математической логики и теории алгоритмов и утверждения, касающиеся этих понятий. Учебное пособие также может быть полезно для студентов других специальностей и преподавателей.

Название: Математическая логика и теория алгоритмов: учебное пособие
Автор: Агарева О. Ю., Селиванов Ю. В.
Издательство: МАТИ
Год: 2011
Страниц: 80
Формат: DJVU
Размер: 14,07 МБ
ISBN: 978-5-93271-611-3
Качество: Отличное

Содержание:

Введение
1. Алгебра (логика) высказываний
2. Логика предикатов
3. Теория алгоритмов
Рекомендуемая литература

Скачать Математическая логика и теория алгоритмов: учебное пособие

{yadownfile}

Скачать бесплатно журнал и книгу Математическая логика и теория алгоритмов: учебное пособие на компьютер, смартфон андроид

Математическая логика и теория алгоритмов: учебно-методическое пособие
Математическая логика и теория алгоритмов: учебно-методическое пособие
Математическая логика и теория алгоритмов: учебно-методическое пособие — Пособие подготовлено в соответствии с программой дисциплины «Математическая логика и теория алгоритмов» и предназначено для занятий и самостоятельной работы студентов...
Математическая логика и теория алгоритмов. Учебное пособие
Математическая логика и теория алгоритмов. Учебное пособие
Математическая логика и теория алгоритмов. Учебное пособие — Все главы этого пособия, в котором излагаются основные понятия математической логики и теории алгоритмов, снабжены контрольными вопросами и упражнениями, приведены варианты типовых заданий...
Судоплатов С.В., Овчинникова Б.В. - Математическая логика и теория алгоритм ...
Судоплатов С.В., Овчинникова Б.В. - Математическая логика и теория алгоритм ...
В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов,...
Математическая логика и теория алгоритмов для программистов
Математическая логика и теория алгоритмов для программистов
Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с использованием различных моделей, а также получить...
Информация
Посетители, находящиеся в группе Гость, не могут оставлять комментарии к данной публикации.
Спина Без Боли. Терапевтические Упражнения (2018) Видеокурс Спина Без Боли. Терапевтические Упражнения (2018) Видеокурс
Adobe Premiere Pro CC 2019 13.0.3.8 RePack by KpoJIuK Adobe Premiere Pro CC 2019 13.0.3.8 RePack by KpoJIuK
Magix vegas pro 15.0 build 384 Magix vegas pro 15.0 build 384
Rapper's Delight (2019) Rapper's Delight (2019)
Adobe Photoshop Lightroom Classic CC 2019 8.2.0.10 Adobe Photoshop Lightroom Classic CC 2019 8.2.0.10
История Сахалина и Курильских островов с древнейших времен до начала XXI столетия История Сахалина и Курильских островов с древнейших времен до начала XXI столетия
Lil Pump - Essentials (2019) Lil Pump - Essentials (2019)
HyperSnap 8.16.09 Final + Portable HyperSnap 8.16.09 Final + Portable
Flashpaste 6.4 Flashpaste 6.4
Back South: Chillout Compilation (2019) Back South: Chillout Compilation (2019)
Aleceo - Teletrip (2019) Aleceo - Teletrip (2019)