|
|
libcats.org
Задачи и упражнения по математической логике и теории алгоритмовИгошин В.И.Сборник ( 3-е изд, стереотип.) содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Теоретический материал изложен в учебном пособии: Игошин В. И. Математическая логика и теория алгоритмов. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям'Математика?,'Прикладная математика'. От себя: Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Элементы теории алгоритмов. Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач. Другие книги автора на сайте: Игошин В.И. Математическая логика и теория алгоритмов Другие книги по математической логике и теории алгоритмов на сайте: Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Гладкий А.В. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики Ершов Ю.Л., Палютин Е.А. Математическая логика Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Клини С.К. Математическая логика Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Крайзель Г. Исследования по теории доказательств Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Л. М. Лихтарников, Т. Г. Сукачева Математическая логика Мацнев А.П. Математическая логика и теория алгоритмов Мальцев А.И. Избранные труды, в 2-х томах Мальцев А.Н. Алгоритмы и рекурсивные функции Мендельсон Э. Введение в математическую логику Никольская И.Л. Математическая логика Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Каталог почтовых марок 1857-1991. Россия, РСФСР, СССРАвтор: В.Б. ЗагорскийКатегория: КНИГИ ХОББИ и РАЗВЛЕЧЕНИЯ
Размер книги: 139.85 Mb
Только что пользователи скачали эти книги:
An Inductive Method for Reconstructing the Biblical Text : Illustrated by an Analysis of 1 Samuel 3Автор: James R. Adair, Автор: Jr.Категория: Техника, Строительство
Размер книги: 5.94 Mb
Mothers at Work: Effects on Children's Well-Being (Cambridge Studies in Social and Emotional Development)Автор: Lois Hoffman, Автор: Lisa YoungbladeКатегория: Образование
Размер книги: 8.18 Mb
Inside the FFT Black Box Serial and Parallel FFT AlgorithmsАвтор: Chu E.Категория: КНИГИ ПРОГРАММИНГ
Размер книги: 13.42 Mb
The Essential Cosmic Perspective, 6th EditionАвтор: Jeffrey O. Bennett, Автор: Megan Donahue, Автор: Nicholas O Schneider, Автор: Mark Voit
Размер книги: 56.85 Mb
Artificial Intelligence: A Modern Approach, 3rd Edition (Prentice Hall Series in Artificial Intelligence)Автор: Stuart Russell, Автор: Peter Norvig
Размер книги: 14.85 Mb
|
|
|