Конспекты лекций, учебные пособия
Конспект лекций - Метематическая логика
Теория алгоритмов
Различные подходы к определению алгоритма:
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию...
17.05.2010 21:03
979.00Kb
скачано 54 раза
По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинности и тождественной ложности...
17.07.2009 17:07
2.50Mb
скачано 220 раз
12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В.
Рассматриваемые вопросы:
Алгебра высказываний.
Тавтологии алгебры высказываний.
Признаки логического следствия.
Булевы функции.
Нормальные формы булевых функций.
Алгебра...
11.03.2010 14:35
1.54Mb
скачано 62 раза
Введение в теорию алгоритмов
Сложность алгоритмов
Сортировка и поиск
Сортировка всплытия Флойда
Логарифмический поиск
Сортировка с вычисляемыми адресами
Генетические алгоритмы
Моделирование генетических операций
Вычислительные эксперименты с генетическими операциями
26.09.2009 17:08
1.39Mb
скачано 26 раз
Булевы переменные и функции.
Операции булевой алгебры.
Эквивалентные формулы.
Основные эквивалентности.
Дизъюнктивная нормальная форма (ДНФ).
Совершенная ДНФ. Минимизация ДНФ.
Конъюнктивная нормальная форма (КНФ).
Совершенная КНФ. Минимизация КНФ.
Полиномиальное разложение: СПНФ....
07.11.2009 15:30
869.00Kb
скачано 101 раз
Сентенциональные связки. Элементарные формулы. Составные формулы. Истинностные функции. Исчисления высказывания. Тавтологии в исчислении высказываний. Эквивалентность высказываний. Теоремы об эквивалентности. Логические следствия. Основные теоремы о логическом следствии. Метод доказательства от...
14.06.2009 23:43
440.00Kb
скачано 61 раз
Теория алгоритмов.
Различные подходы к определению алгоритма.
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию алгоритм.
Булевы функции.
Основные...
19.09.2007 14:27
4.75Mb
скачано 123 раза
2 курс 1 семестр, множество, машины Тьюринга, нормальные алгоритмы, предикаты, формальные теории
09.01.2010 17:26
152.65Kb
скачано 29 раз
Лекции по математической логике. Основные понятия с примерами.
Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.
05.09.2008 08:16
168.15Kb
скачано 132 раза
Логика высказываний. Лингвистические соображения,форулы. Таблицы истинности, общезначимость. Правило подстановки, совокупность общезначимых формул. Отношение следования. Сокращенные таблицы истиности. Доказуемость и выводимость. Теорема о дедукции. Непротиворечивость,правила введения и удаления....
20.12.2008 15:36
47.43Kb
скачано 57 раз
Операции логики Буля.
Формы представления булевых операций.
Методы доказательства в логике Буля.
Задания на практическую работу по логике высказываний.
Введение в логику высказываний.
Построение доказательств в логике высказываний.
Аксиоматический метод.
Таблицы истинности.
Метод Вонга....
14.02.2007 23:43
386.76Kb
скачано 150 раз
Элементы математической логики, логические операции, логические функции, функцией алгебры логики, Свойства конъюнкции, дизъюнкции и отрицания, Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба), Основные классы ФАЛ, Минимальные формы, Карты Карно,...
17.11.2007 16:14
529.13Kb
скачано 91 раз
Методические указания, словари, справочники
В работе рассмотрены основные разделы учебного курса логики, как системы знаний, ее предмет и задачи, 3 основные формы мышления, 4 формально – логических закона, логические основы аргументативного процесса, даны тесты с ответами для самопроверки и др.
Предназначены для студентов всех...
28.11.2008 11:08
66.79Kb
скачано 54 раза
Логика высказываний. Определение логического следствия. Язык логики высказываний. Следствие в логике высказываний. Основные теоремы логики высказываний.
ВГУ, математический факультет, 1 курс
22.05.2010 21:15
520.16Kb
скачано 21 раз
Рефераты, доклады и презентации
Математическая логика в лицах.
Введение.
Язык логики предикатов.
Синтаксис языка логики предикатов .
Семантика языка логики предикатов.
Логика предикатов.
Исчисление предикатов.
Определение формулы логики предикатов.
Свободные и связные вхождения.
переменных в формулы.
Логические и...
06.04.2009 03:41
309.50Kb
скачано 16 раз
18 ст.
Вступ.
Основні поняття.
Властивості кліткових автоматів.
Класифікація кліткових автоматів.
Одновимірні кліткові автомати.
Двовимірні кліткові автомати.
Автомати з клітинами без пам'яті.
Гра «Життя».
Застосування кліткових автоматів.
Висновок.
Використана література.
31.05.2010 16:53
348.50Kb
скачано 1 раз
Реферат: Решения дифференциальных логических уравнений, алгоритм «Селигер», Алгоритм «ТВАТ», Литература.
22.11.2009 18:22
46.00Kb
скачано 8 раз
Менеджмент организаций, 2 курс, ДУИКТ
Вступ;
Історія розвитку;
Мислення, мова, логіка;
Предмет логіки;
Мова і логіка. Особливості мови логіки;
Основні напрямки досліджень сучасної логіки;
Список використаної літератури.
14.01.2010 23:57
147.00Kb
скачано 5 раз
Вступ. Нечіткі множини. Основні характеристики нечітких множин. Методи побудови функцій приналежності нечітких множин. Операції над нечіткими множинами. Властивості множини нечітких підмножин. Нечітка логіка висловлень. Нечітка лінгвістична логіка.
Нечіткі множини в системах керування. Переваги...
28.01.2010 00:16
1.92Mb
скачано 16 раз
Зміст:
1. машини із натуральнозначними регістрами(МНР).
2. машини Тьюрінга.
3. нормальні алгоритми Маркова.
4. системи Поста.
5. обчислювальність квазиарних функцій на множині натуральних чисел.
6. очислюваність п-арних функцій на множині натуральних чисел.
7. програмовані функцій на множині...
23.04.2010 02:54
703.50Kb
скачано 2 раза
Курсовые и дипломные работы
Робота присвячена дослідженню виникнення софізмів,
паралогізмів і парадоксів у математиці та їх спростуванням. Тема актуальна,
оскільки спрямована на запобігання утворенню помилок учнями.
Автор чітко дає означення помилкових тверджень, які утворюються в
процесі розв’язування різних проблем....
06.04.2010 20:54
283.96Kb
скачано 4 раза
Введение.
Теорема о неподвижной точке.
Неподвижная точка и отношения эквивалентности.
Системный трюк: ещё одно доказательство.
Несколько замечаний.
Практическая часть.
Заключение.
Список литературы.
15.06.2010 13:39
113.50Kb
скачано 1 раз
Введение. Постановка задачи.
Построение таблицы поведения и составления соответствующего графа.
Кодирование данных.
Построение графа.
Построение таблицы состояний.
Построение булевых функций для возбуждения JK-триггеров, реализация функции.
Система булевых функций реализация функции....
22.06.2008 22:24
116.42Kb
скачано 22 раза
Определение кванторов, Аксиомы кванторных теорий, Свойства кванторов, Типовые кванторы, Обобщенные позитивно-образованные формулы (ПОФ), Граф позитивно-образованной формулы, Алгоритм метода редукции (алгоритм построения ), Теорема редукций, Исключение независимых типовых кванторов -27 стр
11.06.2010 23:30
6.95Mb
скачано 1 раз
Расчетно-графические работы
Первая и вторая части. Житников. 2007
24.01.2008 19:54
713.00Kb
скачано 29 раз
РГР по МЛТА. Преподаватель Житников А. П. 2009 г. Исходный вариант задания - 571, дополнительный вариант задания - А
650. Параллельные (и последовательные) алгоритмы и логика: логико-алгоритмические модели параллельных систем.
03.01.2010 19:20
702.46Kb
скачано 12 раз
РГР по МЛТА. Преподаватель Житников А. П. 2009 г. Исходный вариант задания - 614, дополнительный вариант задания - А
820. Параллельные (и последовательные) алгоритмы и логика: логико-алгоритмические модели параллельных систем.
03.01.2010 19:20
718.58Kb
скачано 2 раза
РГР по МЛТА. Преподаватель Житников А. П. 2009 г. Исходный вариант задания - 819, дополнительный вариант задания - А
780. Параллельные (и последовательные) алгоритмы и логика: логико-алгоритмические модели параллельных систем.
03.01.2010 19:20
522.21Kb
скачано 7 раз
РГР по МЛТА (Житников А.П.), вариант А020, зачетка заканчивается на 541, прога по 1 и 3 частям.
Параллельные логико-алгоритмические системы.
13.01.2007 20:01
596.20Kb
скачано 11 раз
РГР по МЛТА (Житников А.П.), вариант А090, зачетка заканчивается на 567.
Параллельные логико-алгоритмические системы.
13.01.2007 19:58
801.09Kb
скачано 7 раз
РГР по МЛТА (Житников А.П.), вариант А400, зачетка заканчивается на 542.
Параллельные логико-алгоритмические системы.
13.01.2007 19:53
826.39Kb
скачано 8 раз
РГР по МЛТА (Житников А.П.), вариант А600, зачетка заканчивается на 542, прога по 1 и 3 частям.
Параллельные логико-алгоритмические системы.
13.01.2007 19:55
935.03Kb
скачано 10 раз
Вариант А990, зачетка №547
Преподаватель Житников А.П.
Простейшие алгоритмы.
Структурные схемы и формулы.
Многопоточная программная реализация.
Техника полморфных структурных построений.
Параллельных алгоритмов.
10.04.2007 20:13
799.03Kb
скачано 14 раз
Образец расчетно-графической работы по МЛТА.
Житников А.П.
06.08.2006 23:44
408.60Kb
скачано 18 раз
Параллельные алгоритмы. Техника структурных построений.
Параллельные алгоритмы. Временные диаграммы.
Параллельные алгоритмы. Вербальные тексты.
Простые параллельные алгоритмы. Многопоточная программная реализация.
Параллельные алгоритмы. Многопоточная реализация.
Булевы и временные булевы...
30.01.2008 21:03
4.38Mb
скачано 10 раз
РГР по МЛТА, вариант А-470. Житников. Зачетка заканчивается на 339,2004 год
01.10.2007 23:38
427.29Kb
скачано 10 раз
РГР по Матлогике №1 (вариант А580) зачётка заканчивается на 491
17.01.2008 13:09
59.07Kb
скачано 12 раз
РГР по матлогике №1 Житников А.П.
29.11.2007 18:05
30.99Kb
скачано 11 раз
РГР по Матлогике №2 (вариант А580) зачётка заканчивается на 491
17.01.2008 13:10
130.91Kb
скачано 6 раз
РГР по Матлогике №3 (вариант А580) зачётка заканчивается на 491
17.01.2008 13:10
310.78Kb
скачано 4 раза
РГР по Матлогике №4 (вариант А580) зачётка заканчивается на 491
17.01.2008 13:12
69.98Kb
скачано 1 раз
РГР по Матлогике №5 + прога (вариант А580) зачётка заканчивается на 491
P.S. чтобы открыть прогу нужно установить Python
17.01.2008 13:14
171.91Kb
скачано 4 раза
РГР по Матлогике №6 (вариант А580) зачётка заканчивается на 491
17.01.2008 13:15
24.00Kb
скачано 1 раз
РГР по Матлогике №7 (вариант А580) зачётка заканчивается на 491
17.01.2008 13:15
850.07Kb
скачано 7 раз
Шпаргалки и ответы к экзамену и зачету
Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода....
15.06.2009 18:29
336.50Kb
скачано 187 раз
Ответы по темам за 1 семестр математической логики.
Ответы на экзаменационные билеты по математической логике всего 24 вопроса.
Вопросы по темам от:
1) Двузначная логика, булевы функции, до
24) Множества и операции над ними.
07.01.2010 04:14
1.02Mb
скачано 103 раза
УГАТУ, 2005 год.
Определение высказывания
Логическое следование
Осн. Правила. Вывода
Формулы логики предикатов и т. д.
14.04.2010 20:04
24.12Kb
скачано 51 раз
Обучающие комплексы, программы
Минимизатор выражений логических функций с учётом неопределённых состояний, необходима некоторым специальностям (АТП, МХ) для курсовых работ по предмету компьютерные системы управления.
09.06.2007 04:37
222.00Kb
скачано 114 раз
L
Title Page
[Титул]
Syllogism
[Силлогизм]
Advertisement
[Замечания]
Preface to the Fourth Edition
[Предисловие к четвертому изданию]
Introduction to Learners
[Обращение к учащимся]
Table of Contents
[Оглавление]
Book I Things and Their Attributes
[Книга I. Предметы и их признаки]...
07.01.2010 22:52
1.88Mb
скачано 6 раз
А
Сборник статей. Фрагмент книги, с. 213-
278. Выходных данных нет.
Статьи:
Шеннон. Клод Э. "Универсальная машина Тьюринга с двумя внутренними состояниями "
Дэвис М. Д. "Замечание об универсальных машинах Тьюринга"
Маккартни Дж. "Обращение функций, определяемых машинами Тьюринга"
К. де Леу,...
26.07.2010 20:34
780.90Kb
скачано 1 раз
Категория: Математическая логика. Автор: Таль А. А. , Айзерман М. А. , Гусев Л. А. , Розоноер Л. И. , Смирнова И. М. Название: Логика, автоматы, алгоритмы. Количество страниц: 556. Год издания: 1963. Издательство: Наука. ОГЛАВЛЕНИЕ. Элементы математической логики. Вводные замечания. Основные...
13.03.2009 16:13
5.45Mb
скачано 30 раз
В учебном пособии излагаются основы теории алгоритмов и теории формальных грамматик, рассматриваются различные алгоритмические системы, методы оценки н преобразования алгоритмов, связь теории алгоритмов с теорией формальных грамматик, классификация грамматик, связь теории формальных грамматик с...
02.09.2009 19:39
1.63Mb
скачано 14 раз
Учеб. пособие. — 2-е изд. -СПб.: СЗТУ, 2003, 104 с.
Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 -"Информатика и вы числительная техника" (Специальность...
28.08.2009 17:45
1.05Mb
скачано 24 раза
Б
В четырех частях. Ч.
1. Теория моделей [DjVu], Ч.
2. Теория множеств [DjVu], Ч.
3. Теория рекурсии[ DjVu] .
Ч.
4. Теория доказательств и конструктивная математика [DjVu]. Издательство "Наука" -
1982. Каждый из томов снабжен статьями русских ученых, осуществлявших перевод.
30.07.2009 18:53
17.63Mb
скачано 38 раз
Барендрегт Х. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. - М.: Мир,
1985. - 606 с.
Монография посвящена классическим и новым результатам в активно развивающемся направлении математической логики. - так называемом ламбда-исчислении. Оно находит применение в теории доказательств,...
16.05.2009 23:44
5.03Mb
скачано 24 раза
Пер. с англ. /3-е изд., стереотип. — М.: Мир,
1987. — 415 с, ил.
Сборник, составленный из трех небольших книжек по занимательной математике известного американского писателя и популяризатора Стивена Барра: «Россыпи головоломок», «Новые россыпи головоломок» и «Топологические эксперименты».
Книга...
22.11.2009 14:22
2.66Mb
скачано 9 раз
Год издания: 1961
Количество страниц: 260
Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От...
13.03.2009 16:17
1.98Mb
скачано 9 раз
Исследования по теории множеств и неклассическим логикам [Текст] / ред. : Д. А. Бочвар, В. Н. Гришин. - Москва: Наука,
1976. - 328 с. СОДЕРЖАНИЕ.
Предисловие редакторов.
Кановей В. Г. Определимость с помощью степеней конструктивности.
Введение.
Нормальные множества.
А. Основные определения....
16.03.2009 01:20
5.40Mb
скачано 5 раз
Бродский И. Н. Отрицательные высказывания. Л. : ЛГУ, 104с- 1973
Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных...
16.03.2009 01:04
1.35Mb
скачано 7 раз
Элементарные и сложные высказывания; Язык логики высказываний; Семантика логических союзов; Логические условия истинности формул логики высказываний; Равносильные формулы; Тождественно истинные и тождественно ложные формулы; Конъюнктивная нормальная форма; Совершенная конъюнктивная нормальная...
20.06.2009 20:32
150.00Mb
скачано 14 раз
Книга румынских математиков представляет собой введение в теорию
категорий, методы и язык которой применяются почти во всей современной
математике. Приводятся многочисленные примеры ситуаций из различных разделов
математики, которые иллюстрируют универсальность рассматриваемых понятий....
03.03.2010 13:58
2.15Mb
скачано 6 раз
Пер. с англ. - М., Мир, 1994 - 396 с., ил.
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980 1989 гг. ). В ней содержатся начала и некоторые дополнительные главы...
02.05.2010 17:40
9.81Mb
скачано 4 раза
Методическое пособие, ТПУ 2002г
Булевы константы и векторы
Булево пространство, интервал в булевом пространстве
Булевы переменные, булевы функции, фиктивные переменные
Формулы и равносильности
Двойственная функция и двойственная формула
Разложение булевой функции по переменным и совершенные...
23.08.2009 13:48
426.41Kb
скачано 32 раза
В
М. : ИЛ, 1963
Количество страниц: 55
Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные...
16.03.2009 01:22
445.67Kb
скачано 7 раз
М.: МЦНМО, 1999-2000.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
Начала теории множеств.
Множества и мощности.
Упорядоченные множества.
Языки и исчисления.
Логика высказываний.
Исчисление высказываний.
Языки первого...
05.05.2010 18:39
1.48Mb
скачано 23 раза
М.: МЦНМО, 2002 г. - 128 с.
150 задач различной трудности.
По материалам лекций и семинаров для студентов младших курсов мехмата МГУ. Основные понятия "наивной теории множеств" (мощности, упорядоченные множества, трансфинитная индукция, ординалы).
Содержание:
1. Множества и мощности.
1.1....
04.10.2009 21:54
907.47Kb
скачано 17 раз
Владимиров Д. А. Булевы алгебры. М. : Наука, -319 с. 1969
Глава I. Первоначальные сведения о булевых алгебрах
§ 1. Структуры
§ 2. Булевы алгебры
§ 3. Реализация булевой алгебры в виде алгебры мно-
множеств
§ 4. Компоненты и дизъюнктные разложения
§ 5. Булева алгебра компонент
§ 6....
16.03.2009 01:31
3.21Mb
скачано 24 раза
Книга, посвященная изложению оригинального принципиально нового подхода к теории множеств, написанная выдающимся
логиком современности. Понимание содержания книги не требует
дополнительной логичнскеой подготовки.
06.08.2009 18:22
26.36Mb
скачано 12 раз
Г
К.: Рад. шк., 1985. -192с., ил. В книге помещены занимательные математические упражнения творческого характера, связанные спрограммным материалом 4-10 кл. и направленные на формирование у учащихся навыков самостоятельной работы и таких приемов умственной дкятельности, как анализ, синтез, аналогия,...
23.01.2009 22:44
1.83Mb
скачано 16 раз
Пособие содержит следующие разделы. Логику высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ. Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначные и многозначные логики, модальную, временную и...
28.01.2010 00:14
7.14Mb
скачано 16 раз
Логика высказываний.
Логика предикатов.
Логические следствия и метод резолюции.
Дедуктивные теории.
Неклассические логики.
Теория алгоритмов.
28.04.2010 22:37
7.23Mb
скачано 9 раз
2-е издание.
Пер. с англ. — М.: Мир, 1999, 447с, ил. — (Математическая мозаика)
Книга известного американского популяризатора науки М. Гарднера содержит множество занимательных задач и головоломок из самых различных областей математики. Благодаря удачному подбору материала, необычной форме его...
22.11.2009 15:02
4.59Mb
скачано 10 раз
Гастев Ю. А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М. : Наука, 1975. 152 с
Книга посвящена проблемам логики, семиотики, ме-
методологии науки. В ней говорится о структурных аспек-
аспектах процесса познания в терминах математической логи-
логики и алгебры....
16.03.2009 01:35
1.77Mb
скачано 8 раз
Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики(теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма - течения в математике, видным представителем которого является автор.
10.01.2010 16:39
1.49Mb
скачано 12 раз
Москва,
1947. Государственное издательство иностранной литературы. Перевод руководства по элементам математической логики Д. Гильберта и В. Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д....
09.04.2009 16:49
3.35Mb
скачано 19 раз
В книге рассмотрены, главным образом, три круга вопросов: проблемы полноты и функционально замкнутых классов, проблеммы синтеза и оценки сложности схем, теория вероятностей на конечных булевых алгебрах.
23.01.2009 16:11
3.18Mb
скачано 27 раз
М.: Изд. центр РГГУ,
1998. - 478 с. Учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей. Книга содержит много задач и упражнений.
27.11.2009 23:56
4.83Mb
скачано 28 раз
1969 г.
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов.
Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных...
15.10.2008 00:32
1023.15Kb
скачано 69 раз
Просто и понятно.
15.01.2010 04:35
360.86Kb
скачано 11 раз
Учебное пособие. — Омск: Наследие. Диалог-Сибирь, 2003 г. — 107 с.
Омский гос. ун-т. Кафедра кибернетики.
Учебное пособие посвящено изложению основ математической логики и теории алгоритмов. Основу пособия составляют конспекты лекций, которые читались студентам второго курса отделения...
15.09.2008 21:02
1.21Mb
скачано 62 раза
Д
Ленинград: Знание,
1963. - 57 с.
Учебное пособие, для тех. кто начинает изучать математическую логику. Все очень доступно и с многочисленными примерами. Есть раздел о истории математической логики.
28.11.2009 00:09
1.28Mb
скачано 14 раз
Дж. Булос, Р. Джеффри Вычислимость и логика Изд. "Мир"-М. , 1984. Счетность. Диагнолизация. Машины Тьюринга. Логика первого и второго порядка. Леммы Крейга. Теорема Рамсея.
06.01.2010 21:39
17.48Mb
скачано 14 раз
Дурнев В. Г. "Элементы теории множеств и математической логики" [DJVU]
Ярославский государственный университет, Ярославль 1978 г. , 117 стр.
Настоящее учебное пособие предназначено для студентов 1го курса университета. Оно может служить введением в теорию множеств и математическую логику. В...
05.10.2009 11:56
11.03Mb
скачано 7 раз
Е
Эта книга является первой книгой серии "Секреты преподавания математики", призванной изложить и обобщить накопленный опыт в области математического образования.
Данный сборник представляет собой одну из частей курса "Развивающая логика в 5-7 классах". Ко всем задачам, приведенным в книге, даны...
22.06.2010 21:24
1.12Mb
скачано 1 раз
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это...
28.12.2008 21:43
5.22Mb
скачано 85 раз
И
Под ред. Генкина Г. З.; ил. С. В. Савилова Детская научно-популярная литература. Естественные науки (издания для детей). Физико-математические науки Новое издание знаменитого трехтомника занимательных задач выходит в год его столетнего юбилея. Книга адресована не только тому, кто увлекается...
25.11.2009 20:47
5.48Mb
скачано 8 раз
Под ред. Г. З. Генкина; ил. С. В. Савилова
Написанные известным математиком Игнатьевым, все три книги (это - вторая) в доступной, легкой и занимательной форме вводят читателя в область математических знаний, в необъятное «царство смекалки». Все три книги могут послужить недурным пособием для...
25.11.2009 20:50
4.71Mb
скачано 8 раз
Написанные известным математиком Игнатьевым, они в доступной, легкой и занимательной форме вводят читателя в область математических знаний, в необъятное «царство смекалки». Все три книги могут послужить недурным пособием для математического саморазвития, самодеятельности и уяснения весьма важных...
24.11.2009 22:35
4.05Mb
скачано 12 раз
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Сборник состоит из...
28.12.2008 21:49
4.29Mb
скачано 207 раз
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения...
28.12.2008 21:48
6.64Mb
скачано 175 раз
Пособие является курсом лекций по математической логике и предназначено для студентов математических факультетов. В первой части приведено исчисление высказываний; во второй части изучается формализованный аксиоматический метод построения математических теорий. Рассмотрены его основные составные...
30.03.2009 13:13
622.58Kb
скачано 3 раза
Содержание учебного пособия отвечает программе по дисциплине «Информа-тика и математика», которая разработана в соответствии с требованиями Государ-ственного образовательного стандарта высшего профессионального образования к минимуму содержания и уровню подготовки юриста (специальность 030501 –...
16.05.2010 15:23
766.66Kb
скачано 5 раз
К
2005 - 360 стр.
Настоящая монография содержит основные результаты исследований в области построения математических моделей природы и общества, полученные Институтом математического моделирования РАН в содружестве с ГУИС ФАПСИ и социологическим факультетом МГУ им. М. В. Ломоносова. Эти исследования...
28.10.2009 13:03
5.02Mb
скачано 7 раз
М.: Наука, 1964. - 152 с.
Настоящая книга является популярным изложением математической логики, приобретающей все большее значение в связи с развитием автоматизации производственных процессов. В отличие от имеющихся книг по математической логике данная книга не требует для своего понимания знаний,...
22.02.2010 00:11
1.32Mb
скачано 6 раз
Просвещение. 1978 г. - 89 с.
Краткое изложение элементов теории множеств и математической логики.
Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения.
Приводятся исторические сведения о возникновении и развитии теории...
18.01.2010 01:49
1.38Mb
скачано 10 раз
Издательство «Мир», 614 стр.
Изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятся
исторические замечания и формулировки нерешенных проблем.
Предназначена для математиков различных...
21.12.2009 16:53
20.36Mb
скачано 19 раз
Книга является самой обширной из имеющихся монографий по математической логике и теории рекурсивных функций. Она не предполагает со стороны читателя никаких специальных познаний и поэтому может считаться общедоступной. Книга предназначена для глубокого изучения предмета и рассчитана как на...
22.04.2010 02:18
9.32Mb
скачано 12 раз
1973 г.
Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах: таким образом, она адресована прежде всего преподователям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.
02.06.2009 02:00
19.53Mb
скачано 45 раз
М., Наука, 1978. - 272 с.
ОГЛАВЛЕНИЕ.
От переводчиков.
Предисловие.
Формальная система интуиционистского анализа.
Введение в монографию.
Статус формальной системы.
Правила образоваиня.
Постулаты исчисления предикатов, арифметики и касающиеся функций (постулаты групп А — С).
Постулаты...
06.06.2009 11:36
2.30Mb
скачано 22 раза
М.: КомКнига, 2006. - 240 с.
Классический университетский учебник.
В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов...
23.01.2010 18:22
3.34Mb
скачано 59 раз
Учебное пособие предназначено для ничинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и...
12.01.2010 16:18
1.50Mb
скачано 15 раз
22.11.2009 15:59
9.06Mb
скачано 7 раз
Л
М.: Мир, 1968. - 128 с.
Автор избрал внешне свободный стиль изложения и, не углубляясь в технические детали, очень ярко выразил основные идеи логики. Не приводя ни одного сложного и громоздкого доказательства, он тем не менее нигде не ограничился общими описаниями.
22.02.2010 00:03
1.25Mb
скачано 8 раз
Серия Учебники для вузов. - Санкт-Петербург, Издательство "Лань", 1999 -288 с.
Учебное пособие предназначено дли студентов университетов и педагогических институтов, изучающих курс математической логики. Включает в себя разделы: Алгебра логики, исчисление высказываний, логика предикатов,...
06.06.2009 11:40
1.59Mb
скачано 63 раза
СПб.: Издательство "Лань", 2008. - 288 с. - (учебник для вузов. специальная литература).
Вторая часть учебника содержит упражнения по разделам, рассмотренным в первой части: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы. в конце ответы.
16.01.2010 14:37
7.57Mb
скачано 65 раз
Данное пособие является общедоступной иллюстрацией применения методов и алгоритмов Русской, истинно математической логики при решении логических задач. Все решения задач наглядны, легко проверяются с позиции математики и здравого смысла. Книга полезна школьникам и академикам, «физикам» и «лирикам»,...
24.04.2008 18:16
962.24Kb
скачано 56 раз
Издательство: МГУ.
Год издания: 2003.
Страниц: 143.
Представление функций дизъюнктивными нормальными формами.
и связанные с ним задачи.
Основные понятия, относящиеся к множествам, матрицам, функциям,
формулам.
Гиперкуб и функции алгебры логики. Дизъюнктивные нормальные.
формы и связанные с...
17.11.2009 15:55
1.48Mb
скачано 9 раз
Краткая теория + Пример выполнения типового расчёта (12 задач с решением) + Варианты заданий.
Методические указания. Тамбов. Изд. ТГТУ, 2008 г. - 20 с.
Основные понятия и утверждения математической логики (алгебры высказываний), руководство к решению типовых задач и образцы решений.
Для...
22.01.2010 23:47
342.57Kb
скачано 19 раз
Мех-мат, МГУ. - 2007 г. - 192 с.
Учебное пособие для студентов и аспирантов.
Функции алгебры логики.
Функции k-значной логики.
Логические схемы.
Конечные автоматы.
Алгоритмы и вычислимые функции.
Исчисление высказываний.
Логика предикатов.
Исчисление предикатов.
21.10.2009 02:00
1.28Mb
скачано 21 раз
М
2-е изд. М.: Наука, 1986. -368с. Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики.
23.01.2009 23:44
3.46Mb
скачано 35 раз
В оригинале - "Теория Алгорифмов". М. -Л.: Издательство Академии Наук СССР, 1954. - 377 с.
Книга вводит читателя в область теории алгоритмов. В ней отыскали отблеска эти нюансы доктрины как многоцелевые, обычные методы, исчеслия Поста, комбинаторная неувязка Поста, неувязка определения...
11.06.2010 23:57
3.51Mb
скачано 4 раза
Книга обладает большой оригинальностью в изложении традиционных начал математической логики и отражает взгляды и установки автора на предмет изложения. Особое внимание
уделяется теории логико-математических языков и семантике таких языков.
Для студентов и аспирантов математических...
16.01.2009 19:17
944.37Kb
скачано 13 раз
М.: Знание,
1967. - 104 с. Небольшое за объемом пособие, доступное даже тем, кто не имеет значительной математической подготовки. Состоит из трех разделов: "Общие исходные понятия", "Логические отношения и законы математической логики", "Логика и математика".
28.11.2009 03:32
1.79Mb
скачано 7 раз
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также...
09.04.2009 11:31
2.63Mb
скачано 92 раза
Содержание.
Высказывания.
Формулы логики высказываний.
Анализ рассуждений.
Метод резолюций для ЛВ.
Введению в теорию множеств.
Отношения и функции.
Основные результаты теории множество.
Логика предикатов.
Теорема Эрбрана.
Метод резолюций для ЛП.
Семантический вывод.
Теорема Геделя....
29.04.2010 05:45
704.77Kb
скачано 5 раз
НТУУ КПИ,1 семестр, обьём 9 страниц
10.01.2010 15:30
198.50Kb
скачано 3 раза
Сборник тем курсовых работ по математике (алгебра, математическая логика, дискретная математика)/В. А. Молчанов, В. Е. Новиков др. - Оренбург: ГОУ ОГУ, 2004г. - 68с.
Сборник содержит 98 тем курсовых работ по различным разделам математики. Каждая работа сопровождается кратким содержанием вопроса,...
29.05.2009 18:43
1.01Mb
скачано 4 раза
М.: ФИЗМАТЛИТ, 2006. - 192 с.
В книге представлены различные головоломки и занимательные задачи: арифметические ребусы, числовые головоломки, задачи на разрезание, головоломки с домино, игры и т. п., а также карточные фокусы.
Книга рассчитана на широкий круг читателей от школьников до...
25.07.2010 01:03
3.21Mb
скачано 1 раз
Книга содержит занимательные задачи логического характера. Для их решения неважен уровень математического образования. Гораздо важнее сообразительность и смекалка, так как каждая из головоломок требует совершенно нового оригинального подхода.
24.11.2009 23:34
1.39Mb
скачано 12 раз
Н
Математическая Логика /Никольская И. Л. /: Учебник. - М., Высш. школа, 1981, 127 с., ил.
Книга предназначена для учащихся техникумов (колледжей) по специальности "Прикладная математика" и содержит теоретич. материал, соответств. программе "Математическая логика", а также упражнения для активного...
09.08.2009 03:20
1.06Mb
скачано 17 раз
Петр Сергеевич Новиков (1901-1975) - один из создателей школы математической логики в СССР, академик АН СССР, лауреат Ленинской премии. Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп.
В настоящей книге сделана попытка дать по возможности доступное...
27.06.2009 17:36
6.30Mb
скачано 60 раз
Возможности вычислительных машин, сложность вычислений, нижние оценки сложности, оптимизация алгоритмов
21.05.2009 07:43
3.54Mb
скачано 22 раза
О
Отсканена и сжата в DJVU формат
12.01.2008 15:38
3.63Mb
скачано 35 раз
Автор неизвестен.
Конспект лекций по курсу "Матем. логика и теория алгоритмов". 2008 год. - 80 стр.
Исчисления высказываний.
Определение формального исчисления.
Исчисление высказываний генценовского типа.
Эквивалентность формул.
Нормальные формы.
Семантика исчисления секвенций.
Исчисление...
22.10.2009 23:50
1.96Mb
скачано 16 раз
П
Барнаульский государственный педагогический университет. Учебное пособие для студентов. Математическая логика. Пайсон Б. Д. Барнаул. 2006 год. 168 с.
27.06.2010 12:14
77.01Mb
скачано 2 раза
Уч-метод. пособие - М.: ВМК МГУ,
2006. – 47 с.
Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера.
Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения....
04.11.2009 20:59
541.65Kb
скачано 81 раз
Калининградский государственный технический университет:
Логика высказываний. Алгебра высказываний. Логические операции. Правила записи сложных формул. Законы алгебры логики. Эквивалентные преобразования формул. Нормальные формы формул. Алгоритм приведения к нормальной форме. Алгоритм...
20.12.2008 15:48
345.62Kb
скачано 66 раз
Пономарев В. Ф. - Математическая логика. Часть 1.
Логика высказываний. Логика предикатов.
Калининград: КГТУ, 2001, с.140
Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные прин-ципы формирования языка, основные правила дедуктивного...
14.01.2010 20:34
182.29Kb
скачано 19 раз
Пономарев В. Ф. - Математическая логика. Часть 2.
Логика реляционная. Логика нечеткая.
Калининград: КГТУ, 2001, с.140
Учебное пособие предназначено для студентов университета, изучающих Математическую логику. В нем изложены основные принципы формирования языка, основные правила и механизмы...
14.01.2010 20:45
155.12Kb
скачано 7 раз
Р
Пособие разработано БФ НГТУ. Содержит конспект лекций с примерами, а также решение типовых задач по темам: Логические (булевы) функции. Свойства конъюнкции, дизъюнкции и отрицания. ДНФ, СДНФ, КНФ, СКНФ. Представление логических функций в виде СДНФ (СКНФ). Полиномы Жегалкина. Нахождение сокращенной...
04.02.2010 23:16
334.79Kb
скачано 11 раз
Математика. Метаматематика. М.: Наука, 1972. -591с. Метаматематика - это теория, изучающая формализованные математические теории. Решетки. Классическая логика. Неклассическая логика.
24.01.2009 00:22
5.46Mb
скачано 5 раз
Теория + Задачи + Решения (+ Решения в MS Excel).
Уч. пос. -ГрГУ,2007г. - 127с.
Содержание:
Множества.
Логика высказываний.
Теория графов. Осн. понятия.
Нахождение миним. дерева с пом. надстройки MS Excel «Поиск решения».
Поиск путей с заданным кол-вом дуг.
Поиск кратч. пути. Алгоритм...
30.10.2009 17:11
1.23Mb
скачано 17 раз
Киев, Издательство Европейского университета финансов, информационных систем, менеджмента и бизнеса, 1999 г. , 124 стр.
Сборник содержит более 250 занимательных задач, головоломок, логических задач, задач-шуток, большинство из которых не публиковались в нашей стране.
Предисловие.
Установить...
12.05.2010 19:11
2.51Mb
скачано 3 раза
Столл Роберт Р. Множества. Логика. Аксиоматические теории. Пер. с англ. Ю. А. Гастева и И. Х. Шмаина. Под ред. Ю. А. Шихановича. М., "Просвещение", 1968.
231 стр.
В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над...
11.06.2009 22:26
4.22Mb
скачано 18 раз
С
М.: Изд-во Моск. гос. ун-та гражд. авиации. - 2003, 237 с.
Учебное пособие. Содержание: Множества и мощности. Упорядоченные множества. Логика высказываний. Языки первого порядка. Исчисление предикатов. Вычислимые и универсальные функции. Машины Тьюринга.
В основном тексте содержится более 200...
26.11.2009 17:20
2.54Mb
скачано 10 раз
Методические указания к практическим занятиям.
Содержание.
Алгебра Буля и её модели.
Представление булевых функций формулами. Сводка тавтологий. Совершен-ные формы.
Конструирование и упрощение релейно-контактных схем.
Логические функции (предикаты) и операции над ними.
Общезначимые формулы....
02.08.2009 22:43
3.27Mb
скачано 11 раз
Математический кружок. 7 класс.
Брошюра написана по материалам математического кружка для 6-7 классов, работавшего в 1999-2000 учебном году в аудитории 14-08 главного здания МГУ.
В книге представлены задачи и их решения.
12.04.2010 19:09
662.96Kb
скачано 2 раза
Настоящее учебное пособие предназначено студентам педагогических институтов по учебной дисциплине "Формирование элементарных математических представлений у детей". Опираясь на традиционную методику разработанную А. М. Леушиной, сохранив в ней все ценное авторы предлагают учебное пособие.
11.03.2010 15:47
56.18Mb
скачано 100 раз
Т
Курс включает теоретический материал, который содержит несколько видов чисел и их историю возникновения, формулы и свойства раскрывающие магию таинственности чисел, образцы решения наиболее типичных задач, а также задания для самостоятельной работы поискового характера.
15.12.2009 20:57
756.50Kb
скачано 6 раз
1948 г.
В сборнике представлены как работы, ставшие уже классикой, так и работы последних лет. Из многочисленных в настоящее время исследований по теории логического вывода в сборник отобраны работы, связанные с наиболее интересными этапами развития этой теории.
Можно использовать этот сборник в...
08.03.2009 02:58
5.02Mb
скачано 8 раз
Геометрический метод.
Метод неопределенных коэффициентов.
Метод минимизирующих карт Карно.
Метод Квайна.
Метод Патрика нахождение всех возможных тупиковых форм.
Метод Мак-Класки.
Метод диаграмм Вейча.
22.06.2008 12:59
205.86Kb
скачано 158 раз
У
Успенский В. А. Теорема Гёделя о неполноте.
М.: Наука, 1982г. 110 с.
Содержание:
1. Постановка задачи.
2. Начальные понятия теории алгоритмов и их применения.
3. Простейшие критерии неполноты.
4. Язык алгоритмов.
5. Три аксиомы теории алгоритмов.
ПРИЛОЖЕНИЯ:
А. Синтаксическая и...
04.10.2009 22:23
1.80Mb
скачано 16 раз
М.: Физматлит,2004г. — 128 с.
В уч. пособии содержится материал осн. курса «Введение в мат. логику», читаемого на мех. -мат. фак. МГУ.
Излагаются элементы теории множеств, осн. понятия, относящиеся к семантике формализованных логико-матем. языков 1-го порядка, исчисление предикатов и теорема о...
01.11.2009 01:08
862.87Kb
скачано 12 раз
М., Наука, 1987г. -288 с.
Важнейшие достижения теории алгоритмов.
Приложения теории алгоритмов к математической логике, теории вероятностей, теории информации и др.
Влияние теории алгоритмов на алгоритмическую практику.
Содержание:
Основные математические приложения теории алгоритмов:
1....
01.11.2009 01:32
3.55Mb
скачано 12 раз
Ф
В 1961 г. в Хаарлеме (Нидерланды) вышла небольшая книжка «Exacte logica» («Точная логика»). Автор ее профессор X. Фрейденталь - известный голландский математик с весьма широкими интересами. Развивая традиции отечественной школы интуиционистов, он еще в 30-е годы внес существенный вклад в построение...
19.11.2009 22:54
1023.03Kb
скачано 10 раз
Х
Перевод с английского В. В. Донченко.
Под редакцией Ю. А. Гасгева.
Издательство "МИР".
Москва 1969.
30.11.2009 23:12
6.03Mb
скачано 7 раз
Ч
М.: Наука, 1983. - 360 с. Книга посвящена детальному изложению круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем искусственного...
24.12.2009 20:27
3.29Mb
скачано 50 раз
Пер. с англ. В. С. Черняевского, под редакцией В. А. Успенского. Издательство иностранной литературы. Москва, 1960.
Эта монография принадлежит перу одного из самых известных современных специальистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также...
02.05.2010 17:56
5.11Mb
скачано 9 раз
Методические указания для студентов II курса заочного отделения специальности ИСТ. / Сост. К. М. Чудинов; Пермь: Изд-во Перм. гос. техн. ун-та, 2007. 48 с.
Приводятся необходимые для изучения курса «Математическая логика и теория алгоритмов» теоретические сведения, примерами решения задач,...
17.06.2010 22:46
1.66Mb
скачано 4 раза
Ш
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию...
11.03.2010 04:54
2.36Mb
скачано 48 раз
«Наука», 1975г. , 529 стр., пер. с английского.
Книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу читателей.
Полнота изложения книги весьма впечатляюща. При сравнительно небольшом...
02.03.2010 01:12
3.21Mb
скачано 10 раз
Э
Эдельман С. Л. Математическая логика. Учеб. пособие для ин-тов. М. Высшая школа. 1975г. 176с., с илл
В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики...
13.03.2009 16:32
1.48Mb
скачано 17 раз
Я
Метод. пособие по логике. Ростов-на-Дону. 2007г. – 42 с.
Примеры решения задач по матем. логике.
Темы пособия:
1. Алгебра высказываний.
2. Исчисление высказываний ИС генценовского типа.
3. Исчисление высказываний ИВ гильбертовского типа.
4. Общезначимость формул.
5. Логические программы.
22.10.2009 23:36
502.72Kb
скачано 23 раза