Математическая логика
Математика
  • формат djvu
  • размер 803.04 КБ
  • добавлен 20 марта 2010 г.
Усенко В.В. Логические системы управления
Приведено описание основ математической логики, законов и свойств логических операций, методов оценки сложности логических форм и способов их упрощения. Рассматриваются примеры построения простых логических схем и их реализация. Показывается, что сегодня математическая логика является не только теоретической базой обоснованности алгоритмов управления, но и в значительной мере техническим средством их реализации. Особое внимание уделяется вопросам формализации всех стадий создания логических систем. Впервые к анализу работы автоматов привлечен структурный анализ систем.
Для работников АСУ тепловых электростанций, специализирующихся в областях, связанных с эксплуатацией и созданием логических систем управления, а также для студентов, обучающихся по соответствующим специальностям.
Похожие разделы
Смотрите также

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

Реферат
  • формат doc
  • размер 309.5 КБ
  • добавлен 06 апреля 2009 г.
Математическая логика в лицах. Введение. Язык логики предикатов. Синтаксис языка логики предикатов . Семантика языка логики предикатов. Логика предикатов. Исчисление предикатов. Определение формулы логики предикатов. Свободные и связные вхождения. переменных в формулы. Логические и кванторные операции. над предикатами. Применение языка логики предикатов для . записи математических предложений, . определений, построения отрицания предложений.

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

Контрольная работа
  • формат rtf
  • размер 5.68 МБ
  • добавлен 27 апреля 2011 г.
Задачи по математической логике (+примеры решения и комментарии). Содержание: Элементы алгебры высказываний. Логические операции над высказываниями. Равносильные формулы алгебры высказываний. Нормальные формы. Логические следствия. Решение задач с помощью алгебры высказываний. Исследование рассуждений. Получение логических следствий из данных формул и посылок для данных логических следствий. Необходимые и достаточные условия. Анализ и синтез реле...

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

Статья
  • формат doc
  • размер 168.15 КБ
  • добавлен 05 сентября 2008 г.
Лекции по математической логике. Основные понятия с примерами. Теория алгоритмов, Булевы функции, Логические Исчисления, Предикаты и кванторы.rn

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

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

Лупанов О.Б. Введение в математическую логику

  • формат pdf
  • размер 1.28 МБ
  • добавлен 21 октября 2009 г.
Мех-мат, МГУ. - 2007 г. - 192 с. Учебное пособие для студентов и аспирантов. Функции алгебры логики. Функции k-значной логики. Логические схемы. Конечные автоматы. Алгоритмы и вычислимые функции. Исчисление высказываний. Логика предикатов. Исчисление предикатов.

Мельников Г.П. Азбука математической логики

  • формат djvu
  • размер 1.79 МБ
  • добавлен 28 ноября 2009 г.
М.: Знание, 1967. - 104 с. Небольшое за объемом пособие, доступное даже тем, кто не имеет значительной математической подготовки. Состоит из трех разделов: "Общие исходные понятия", "Логические отношения и законы математической логики", "Логика и математика".

Пензов Ю.Е. Элементы математической логики и теории множеств

  • формат djvu
  • размер 1.51 МБ
  • добавлен 12 февраля 2011 г.
Издательство Саратовского университета, 1968. - 141с. Основные понятия теории множеств Подмножество. Дополнение подмножества. Пересечение и объединение подмножеств Упорядоченные системы элементов Декартово произведение множеств Арифметическое пространство п измерений n-отношение Функция Отображение множествач на множество. Взаимно-однозначное отображение Алгебра высказываний Логические операции над высказываниями Составные высказывани...

Пономарев В.Ф. Математическая логика учебное пособие

  • формат doc
  • размер 345.62 КБ
  • добавлен 20 декабря 2008 г.
Калининградский государственный технический университет: Логика высказываний. Алгебра высказываний. Логические операции. Правила записи сложных формул. Законы алгебры логики. Эквивалентные преобразования формул. Нормальные формы формул. Алгоритм приведения к нормальной форме. Алгоритм преобразования ДНФ к виду СДНФ. Алгоритм преобразования КНФ к виду СКНФ. Исчисление высказываний. Интерпретация формул. Аксиомы исчисления высказываний. Правила в...

Презентация - Основы логики

Презентация
  • формат ppt
  • размер 103.5 КБ
  • добавлен 24 августа 2011 г.
16 страниц.Логическое высказывание В алгебре логики простым высказываниям ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита. Виды сложных высказываний Соединительные виды Разделительные виды Условные виды Эквивалентные Высказывания с внешним отрицанием Основная задача математической логики Логические операции Обозначение операции в алгебре высказываний Обозначение в языках Обозначение в языках про...

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

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