Математическая логика




Paulson L.C. Logic and Computation. Interactive Proof with Cambridge LCF

Paulson L.C. Logic and Computation. Interactive Proof with Cambridge LCF

разное
Издательство Cambridge University Press, 1987, -316 pp.

Growing numbers of computer scientists recognise the importance of formal methods of system design [48]. LCF and ML are often mentioned, seldom understood. There is a wide literature, as the bibliography attests. Gordon, Milner, and Wadsworth [41] describe Edinburg...
06.02.2012 в 14:05 1.5 Мб djvu 11 раз
Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

Презентация - Голованов М.И. Нестандартные логики. Реляционная семантика

рефераты
Наглядное пособие / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 136 слайдов.

Содержание:
Введение. Классическая пропозициональная логика.
Позитивная логика.
Основные теоремы позитивной логики.
Немодальные расширения позитивной логики.
Расширение логики...
01.02.2012 в 14:09 3.58 Мб pdf 21 раз
Голованов М.И. Нестандартные логики. Реляционная семантика

Голованов М.И. Нестандартные логики. Реляционная семантика

разное
Курс лекций / Авторы: М.И. Голованов, В.Р. Кияткин, В.В. Рыбаков, Е.М. Юрасова. - Красноярск: СФУ, 2008. - 103с.

Содержание:
Введение. Краткий экскурс в историю логических исследований.
Определение пропозициональной логики.
Позитивная логика.
Основные теоремы позитивной логики.
Немодальные расширения...
01.02.2012 в 14:08 683.29 Кб pdf 44 раза
Padawitz P. Deduction and Declarative Programming

Padawitz P. Deduction and Declarative Programming

разное
Издательство Cambridge University Press, 1992, -285 pp.
This monograph promotes specification and programming on the basis of Horn logic with equality. As was pointed out in [Pad88a], this theoretical background equips us with a number of deductive methods for reasoning about specifications and designing correct programs. Th...
31.01.2012 в 01:13 1.4 Мб djvu 14 раз
Chaitin G.J. The Unknowable

Chaitin G.J. The Unknowable

разное
Издательство Springer, 1999, -128 pp.

Having published four books on this subject, why a fifth? Because there’s something new: I compare and contrast G?del’s, Turing’s and my work in a very simple and straight-forward manner using LISP.
Up to now I never wanted to examine G?del’s and Turing’s work too closely - I wa...
31.01.2012 в 01:10 527.56 Кб pdf 13 раз
Нет изображения

Катаев А.В., ВолгГТУ, Минимизация ФАЛ

разное
Постановка задачи минимизации функций алгебры логики. Этапы минимизации. Методы минимизации. Расчетный метод. Карты Карно. Геометрический метод. Примеры минимизации. Метод Квайна.rn
23.01.2012 в 04:25 252.64 Кб docx 27 раз
Катаев А.В. ВолгГТУ. Множества

Катаев А.В. ВолгГТУ. Множества

разное
Множества. Пустое множество. Универсальное множество. Подмножества. Собственное подмножество. Способы задания множеств. Мощность множества. Равномощные множества. Конечные и счётные множества. Операции над множествами (объединение, пересечение, дополнение, разность, симметрическая разность). Законы алгебры множеств. Характеристи...
23.01.2012 в 03:54 37.01 Кб docx 18 раз
Нет изображения

Катаев А.В., ВолгГТУ. Алгебра логики

разное
Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логи...
23.01.2012 в 00:44 102.45 Кб docx 62 раза
Катаев А.В., ВолгГТУ. Исчисление высказываний

Катаев А.В., ВолгГТУ. Исчисление высказываний

разное
Формальная модель высказываний. Законы построения правильных рассуждений. Исчисление высказываний, как формальная система. Проверка выводимости правильных умозаключений. Алгоритм Квайна. Правило резолюций. Алгоритм Вонга. Проблемы аксиоматического исчисления высказываний
23.01.2012 в 00:44 236.43 Кб docx 26 раз
Нет изображения

Turing maschine

разное
Данная программа служит эмулятором машины Тьюринга. На вход подаются данные и машина используя три операции влево вправо и заменить символ выполняет всяческие операции по изменению строки или числовых данных.
Для работы требуется NetFraimwork 2.0rn
13.01.2012 в 17:48 72.07 Кб exe 9 раз
Битюцкий В.П., Папуловская Н.В. Математическая логика. Исчисления высказываний и предикатов

Битюцкий В.П., Папуловская Н.В. Математическая логика. Исчисления высказываний и предикатов

разное
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2005. - 34 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов»

Приводятся основные понятия и утверждения логики высказываний и предикатов. В логике высказываний даются основные методы построения вывода. В логике предикатов вводятся нормальные формы описания п...
06.01.2012 в 19:55 411 Кб doc 44 раза
Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств

Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств

разное
Саратов: Изд-во Саратовского госуниверситета, 1969. - 92 с.

Описание: Предлагаемый сборник задач составлен в соответствии ег программой университетского курса "Элементы математической логики и алгебры множеств".
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных с...
06.01.2012 в 19:54 2.6 Мб pdf 40 раз
Галиев Ш.И. Математическая логика и теория алгоритмов

Галиев Ш.И. Математическая логика и теория алгоритмов

разное
Казань: Издательство КГТУ им. А. Н. Туполева, 2002. - 270 с.

Пособие содержит следующие разделы:
Логика высказываний и предикатов с приложениями, в том числе метод резолюций и элементы его реализации в языке ПРОЛОГ.
Классические исчисления (высказываний и предикатов) и элементы неклассических логик: трёхзначны...
04.01.2012 в 23:51 1.27 Мб djvu 54 раза
Стенюшкина В.А. Математическая логика и теория алгоритмов

Стенюшкина В.А. Математическая логика и теория алгоритмов

разное
Оренбург: ГОУ ОГУ, 2004. – 106 с.

Пособие предназначено студентам экономических и естественнонаучных специальностей для выработки конструктивных знаний в области формальной логики и алгоритмизации.
04.01.2012 в 23:51 1 Мб pdf 13 раз
Маркин П.М. Математическая логика

Маркин П.М. Математическая логика

разное
Лекции по курсу. - Москва: РГУИТП, 2006. - 62с.
Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очере...
04.01.2012 в 14:11 1.22 Мб doc 83 раза
Чернядьева Е.Н. Задачник по математике

Чернядьева Е.Н. Задачник по математике

разное
Учебное пособие. – Киров: Изд-во КИПК и ПРО, 2010. – 60 страниц. Введение. Элементы математической логики. Математические доказательства. Софизмы. Высказывания и операции над ними. Неопределенные высказывания. Кванторы. Логические задачи. Математические методы в целенаправленной деятельности. Понятие вероятности случайных событи...
01.01.2012 в 17:07 598.5 Кб doc 27 раз
Crossley J.N. What is Mathematical Logic?

Crossley J.N. What is Mathematical Logic?

разное
C. J. Ash (Author), J. N. Crossley (Author), C. J. Brickhill (Author), J. C. Stillwell (Author), N. H. Williams (Author)
This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-cen...
22.12.2011 в 12:43 882.84 Кб djvu 7 раз
Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

разное
Volume 5.
Logic and Algebraic Methods.
The present Volume 5 continues with logical and algebraic methodologies
basic to computer science. Chapter 1 covers Martin-L0f's type theory,
originally developed to clarify the foundations of constructive mathematics
it now plays a major role in theoretical computer sci...
22.12.2011 в 12:43 27.86 Мб pdf 9 раз
Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems

Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems

разное
Our motivation for (re)writing this book
One of the leitmotifs of writing the first edition of our book was the observation
that most logics used in the design, specification and verification of
computersystems fundamentally deal with a satisfaction relation
M ?
where M is some sort of situation or model of a...
22.12.2011 в 12:43 2.13 Мб pdf 12 раз
Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії

Андрійчук В., Комарницький М., Мельник І. Елементи математичної логіки та теоріі рекурсії

разное
Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152.
Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі.
Зміст:
Розділ I. Семіот...
21.12.2011 в 23:57 764.75 Кб pdf 13 раз
Нет изображения

Конспект лекций для экзамена по курсу Математическая логика

лекции
Конспект лекций - Метематическая логика
Теория алгоритмов
Различные подходы к определению алгоритма:
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию алгоритм.
Бул...
17.05.2010 в 21:03 979 Кб doc 375 раз
Лекции - Введение в математическую логику. Части 1 - 2

Лекции - Введение в математическую логику. Части 1 - 2

лекции
По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики выс...
17.07.2009 в 17:07 2.5 Мб doc 541 раз
Лекции - Математическая логика

Лекции - Математическая логика

лекции
Бахтадзе Н. Н. (Институт проблем управления им. В. А. Трапезникова РАН).
Логика высказываний.
Алгебра высказываний.
Исчисление высказываний.
Метод дедуктивного вывода.
Принцип резолюции.
Проблемы исчисления высказываний.
Описание высказываний на языке Prolog.
Логика предикатов.
Алгебра предика...
04.03.2011 в 22:00 1.31 Мб doc 138 раз
Лекции - Математическая логика

Лекции - Математическая логика

лекции
Название: Математическая логика. Курс лекций.
Автор: Тимофеева И. Л.
Издательство: КДУ.
Год: 2007.
Страниц: 304.
Формат: pdf.
Размер: 1,3 mb.
ISBN 978-5-98227-307-9.
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие те...
23.08.2010 в 17:27 1.52 Мб pdf 211 раз
Лекции - Математическая логика и основы теории алгоритмов

Лекции - Математическая логика и основы теории алгоритмов

лекции
12 лекций по математической логике и теории алгоритмов. Второй курс, СФУ ИКИТ, 2009 год, преподаватель Вепринцев Д. В.
Рассматриваемые вопросы:
Алгебра высказываний.
Тавтологии алгебры высказываний.
Признаки логического следствия.
Булевы функции.
Нормальные формы булевых функций.
Алгебра Жегалкина.
11.03.2010 в 14:35 1.54 Мб pdf 226 раз
Лекции по булевым функциям

Лекции по булевым функциям

лекции
Булевы переменные и функции.
Операции булевой алгебры.
Эквивалентные формулы.
Основные эквивалентности.
Дизъюнктивная нормальная форма (ДНФ).
Совершенная ДНФ. Минимизация ДНФ.
Конъюнктивная нормальная форма (КНФ).
Совершенная КНФ. Минимизация КНФ.
Полиномиальное разложение: СПНФ.
Канонический ...
07.11.2009 в 15:30 869 Кб doc 209 раз
Лекции по математической логике

Лекции по математической логике

лекции
Сентенциональные связки. Элементарные формулы. Составные формулы. Истинностные функции. Исчисления высказывания. Тавтологии в исчислении высказываний. Эквивалентность высказываний. Теоремы об эквивалентности. Логические следствия. Основные теоремы о логическом следствии. Метод доказательства от противного. Основные понятия теори...
14.06.2009 в 23:43 440 Кб doc 101 раз
Нет изображения

Лекции по математической логике

лекции
2 курс 1 семестр, множество, машины Тьюринга, нормальные алгоритмы, предикаты, формальные теорииrn
09.01.2010 в 17:26 152.65 Кб doc 83 раза
Нет изображения

Лекции по математической логике

лекции
Лекции по математической логике. Основные понятия с примерами.
Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn
05.09.2008 в 08:16 168.15 Кб doc 240 раз
Лекции по математической логике

Лекции по математической логике

лекции
Логика высказываний. Лингвистические соображения,форулы. Таблицы истинности, общезначимость. Правило подстановки, совокупность общезначимых формул. Отношение следования. Сокращенные таблицы истиности. Доказуемость и выводимость. Теорема о дедукции. Непротиворечивость,правила введения и удаления. Полнота. Логика предикатов. Лингв...
20.12.2008 в 15:36 47.43 Кб doc 119 раз
Лекции по математической логике

Лекции по математической логике

лекции
Операции логики Буля.
Формы представления булевых операций.
Методы доказательства в логике Буля.
Задания на практическую работу по логике высказываний.
Введение в логику высказываний.
Построение доказательств в логике высказываний.
Аксиоматический метод.
Таблицы истинности.
Метод Вонга.
Метод ...
14.02.2007 в 23:43 386.76 Кб doc 332 раза
Лекции по математической логике

Лекции по математической логике

лекции
Элементы математической логики, логические операции, логические функции, функцией алгебры логики, Свойства конъюнкции, дизъюнкции и отрицания, Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба), Основные классы ФАЛ, Минимальные формы, Карты Карно, Тождественно истинные формулы, Отно...
17.11.2007 в 16:14 529.13 Кб doc 145 раз
Нет изображения

Лекции по математической логике (компактные)

лекции
Теория алгоритмов.
Различные подходы к определению алгоритма.
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию алгоритм.
Булевы функции.
Основные определения.
19.09.2007 в 14:27 4.75 Мб rtf 187 раз
Лекции по математической логике и теории алгоритмов

Лекции по математической логике и теории алгоритмов

лекции
Лекции по математической логике и теории алгоритмов.
Алгебра логики.
Определение булевой функции.
Элементарные булевы функции.
Задание булевых функций посредством элементарных.
Существенные и несущественные переменные.
Таблицы истинности.
Эквивалентные функции.
Основные эквивалентности.
Функци...
09.11.2010 в 17:35 1.47 Мб pdf 152 раза
Учебник по математике для юридического факультета

Учебник по математике для юридического факультета

лекции
Числа.
Первичная обработка результатов эксперимента.
Элементы комбинаторики.
Понятие вероятности.
Функции и графики.
29.05.2011 в 01:25 676.91 Кб doc 11 раз
Доклад - Математическая логика

Доклад - Математическая логика

рефераты
Математическая логика в лицах.
Введение.
Язык логики предикатов.
Синтаксис языка логики предикатов .
Семантика языка логики предикатов.
Логика предикатов.
Исчисление предикатов.
Определение формулы логики предикатов.
Свободные и связные вхождения.
переменных в формулы.
Логические и квантор...
06.04.2009 в 03:41 309.5 Кб doc 77 раз
Задачи по математической логике (+примеры решения и комментарии)

Задачи по математической логике (+примеры решения и комментарии)

лабараторные
Задачи по математической логике (+примеры решения и комментарии).
Содержание:
Элементы алгебры высказываний.
Логические операции над высказываниями.
Равносильные формулы алгебры высказываний.
Нормальные формы.
Логические следствия.
Решение задач с помощью алгебры высказываний.
Исследование рассужд...
27.04.2011 в 19:00 5.68 Мб rtf 824 раза
Нет изображения

Задачи по математической логике (+примеры решения)

лабараторные
Задачи по математической логике.
Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объеди...
27.04.2011 в 21:29 3.34 Мб rtf 980 раз
Кейслер Г., Чэн Ч. Теория непрерывных моделей

Кейслер Г., Чэн Ч. Теория непрерывных моделей

лабараторные
М. : 1971. -184 с.
Небольшая монография, посвященная теории классов моделей—области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монография—обобщение теори моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтен...
03.10.2010 в 18:47 1.42 Мб djvu 42 раза
Контрольная - Булевы функции

Контрольная - Булевы функции

лабараторные
СПб. : 2011 г - 38 стр.

Содержание.
Основные понятия булевой алгебры.
Способы задания булевых функций.
Булевы функции одной и двух переменных.
Основные законы и тождества булевой алгебры.
Аналитическое представление булевых функций.
Функционально полные системы булевых функций.
Минимизация бу...
01.05.2011 в 01:00 3.53 Мб rtf 82 раза
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов

разное
Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Сборник состоит из четырнадцати параграфов в 5 гла...
28.12.2008 в 21:49 4.29 Мб djvu 1025 раз
Лекции - Введение в математическую логику. Части 1 - 2

Лекции - Введение в математическую логику. Части 1 - 2

лекции
По содержанию данное пособие, является методической основой для изучения следующих вводных разделов математической логики и ее приложений: формулы логики высказываний и операции над ними; упрощение записи формул; доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики выс...
17.07.2009 в 17:07 2.5 Мб doc 541 раз
Шпоры по математической логике

Шпоры по математической логике

шпаргалки
Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы выв...
15.06.2009 в 18:29 336.5 Кб doc 522 раза
Игошин В.И. Математическая логика и теория алгоритмов

Игошин В.И. Математическая логика и теория алгоритмов

разное
2-е изд., стер. — М.: Издательский центр «Академия», 2008. — 448 с.

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы ...
28.12.2008 в 21:48 6.64 Мб djvu 565 раз
Задачи по математической логике (+примеры решения и комментарии)

Задачи по математической логике (+примеры решения и комментарии)

лабараторные
Задачи по математической логике (+примеры решения и комментарии).
Содержание:
Элементы алгебры высказываний.
Логические операции над высказываниями.
Равносильные формулы алгебры высказываний.
Нормальные формы.
Логические следствия.
Решение задач с помощью алгебры высказываний.
Исследование рассужд...
27.04.2011 в 19:00 5.68 Мб rtf 824 раза
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Часть 2. Задачник-практикум и решения

Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Часть 2. Задачник-практикум и решения

разное
СПб.: Издательство "Лань", 2008. - 288 с. - (учебник для вузов. специальная литература).
Вторая часть учебника содержит упражнения по разделам, рассмотренным в первой части: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы. в конце ответы.
16.01.2010 в 14:37 7.57 Мб pdf 507 раз
Мендельсон Э. Введение в математическую логику

Мендельсон Э. Введение в математическую логику

разное
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая те...
09.04.2009 в 11:31 2.63 Мб djvu 345 раз
Шпоры по математической логике

Шпоры по математической логике

шпаргалки
Ответы по темам за 1 семестр математической логики.
Ответы на экзаменационные билеты по математической логике всего 24 вопроса.
Вопросы по темам от:
1) Двузначная логика, булевы функции, до
24) Множества и операции над ними.
07.01.2010 в 04:14 1.02 Мб doc 382 раза
Нет изображения

Задачи по математической логике (+примеры решения)

лабараторные
Задачи по математической логике.
Решебник содержит подробное решение задач по основным темам математической логики в т. ч. способы решения логических задач типа "Кто есть кто? " методами графов, табличным способом, сопоставлением трех множеств; тактических, истинностных задач, на нахождение пересечения множеств или их объеди...
27.04.2011 в 21:29 3.34 Мб rtf 980 раз
Тихомирова Л.С. Методы минимизации булевых функций

Тихомирова Л.С. Методы минимизации булевых функций

разное

Геометрический метод.
Метод неопределенных коэффициентов.
Метод минимизирующих карт Карно.
Метод Квайна.
Метод Патрика нахождение всех возможных тупиковых форм.
Метод Мак-Класки.
Метод диаграмм Вейча.
22.06.2008 в 12:59 205.86 Кб doc 339 раз
Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

разное
М.: КомКнига, 2006. - 240 с.
Классический университетский учебник.

В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами...
23.01.2010 в 18:22 3.34 Мб djvu 332 раза
Нет изображения

Конспект лекций для экзамена по курсу Математическая логика

лекции
Конспект лекций - Метематическая логика
Теория алгоритмов
Различные подходы к определению алгоритма:
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию алгоритм.
Бул...
17.05.2010 в 21:03 979 Кб doc 375 раз
Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий

разное
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Со...
11.03.2010 в 04:54 2.36 Мб djvu 748 раз
Лекции по математической логике

Лекции по математической логике

лекции
Операции логики Буля.
Формы представления булевых операций.
Методы доказательства в логике Буля.
Задания на практическую работу по логике высказываний.
Введение в логику высказываний.
Построение доказательств в логике высказываний.
Аксиоматический метод.
Таблицы истинности.
Метод Вонга.
Метод ...
14.02.2007 в 23:43 386.76 Кб doc 332 раза
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

разное
3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указа...
30.12.2008 в 02:38 2.52 Мб djvu 379 раз
Нет изображения

Программа - Минимизатор выражений логических функций

программы
Минимизатор выражений логических функций с учётом неопределённых состояний, необходима некоторым специальностям (АТП, МХ) для курсовых работ по предмету компьютерные системы управления.rn
09.06.2007 в 04:37 222 Кб exe 269 раз
Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

разное
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для ...
28.12.2008 в 21:43 5.22 Мб djvu 213 раз
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

разное
4-е изд., Издательство: Физматлит, Год: 2004. - 256 с.
Качество: хорошее.
Аннотация:
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Состоит из трех частей: «Теор...
23.08.2010 в 17:55 1.64 Мб djvu 265 раз
Нет изображения

Лекции по математической логике

лекции
Лекции по математической логике. Основные понятия с примерами.
Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn
05.09.2008 в 08:16 168.15 Кб doc 240 раз
Шпоры по матлогике

Шпоры по матлогике

шпаргалки
УГАТУ, 2005 год.
Определение высказывания
Логическое следование
Осн. Правила. Вывода
Формулы логики предикатов и т. д.
14.04.2010 в 20:04 24.12 Кб doc 195 раз