Вычислительная математика
Математика
  • формат djvu
  • размер 4.06 МБ
  • добавлен 05 июня 2011 г.
Рвачев В.Л. Геометрические приложения алгебры логики
Киев: Техника, 1967. - 213 с.

В книге изложены методы аналитического описания геометрических объектов сложной структуры, которые могут быть применены для решения многих задач математической физики, механики, математического программирования, оптимального раскроя, машинного распознавания геометрических образов и др.
Описывается аппарат Л-функций, используя' который можно составлять уравнения сложных чертежей и пространственных объектов, а также строить уравнения семейств, включающих заданный геометрический объект.
Рассмотрены также некоторые приложения Л-функций к задачам оптимального планирования, оптимального раскроя, к краевым задачам математической физики.
Книга рассчитана на научных и инженерно-технических работников, а также может быть использована студентами, которые интересуются вопросами алгоритмизации и решением задач с помощью машин.
Похожие разделы
Смотрите также

Автор неизвестен. Теоретические основы автоматики и телемеханики

  • формат pdf
  • размер 519.63 КБ
  • добавлен 22 декабря 2010 г.
Автор неизвестен. Теоретические основы автоматики и телемеханики. Основные положения и законы алгебры логики. Формы представления функций алгебры логики. Булевы функции от двух переменных. Полнота и базис булевых функций. Минимизация булевых функций. Функции алгебры логики и электрические схемы.

Гончаров С.С. Счетные булевы алгебры и разрешимость

  • формат djvu
  • размер 3.56 МБ
  • добавлен 27 февраля 2011 г.
Новосибирск: Научная книга, 1996, — 364 с., — (Сибирская школа алгебры логики). Третий том учрежденной в 1995 г. Сибирским фондом алгебры логики математической книжной серии «Сибирская школа алгебры логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгеб...

Ершов Ю.Л. Определимость и вычислимость

  • формат djvu
  • размер 2.22 МБ
  • добавлен 24 сентября 2010 г.
Новосибирск: Научная книга, 1996. 300 с. Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Нов...

Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики

  • формат djvu
  • размер 1.38 МБ
  • добавлен 18 января 2010 г.
Просвещение. 1978 г. - 89 с. Краткое изложение элементов теории множеств и математической логики. Показывается, как некоторые темы алгебры, геометрии и математического анализа могут рассматриваться с единой точки зрения. Приводятся исторические сведения о возникновении и развитии теории множеств и математической логики. Содержание: Как возникла формальная и математическая логика. Начала теории множеств. Алгебра высказываний и алгебра множест...

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

Практикум
  • формат docx
  • размер 102.45 КБ
  • добавлен 23 января 2012 г.
Алгебра логики. Функции алгебры логики. Таблицы истинности. Пропозициональные формулы. Равносильные формулы. Основные тождества алгебры логики. Двойственные функции. Полные системы связок. Конъюнктивные и дизъюнктивные нормальные формы. Совершенные КНФ и ДНФ. Тавтологии. Противоречия. Проблема разрешимости в алгебре логики. Логические следствия. Основные схемы доказательств.rn

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

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

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

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

Перетятькин М.Г. Конечно аксиоматизируемые теории

  • формат djvu
  • размер 2.73 МБ
  • добавлен 05 октября 2010 г.
Новосибирск: Научная книга, 1997. 322 с. Четвертый том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому с...

Эдельман С.Л. Математическая логика

  • формат djvu
  • размер 1.48 МБ
  • добавлен 13 марта 2009 г.
Учеб. пособие для ин-тов. М. Высшая школа. 1975. -176 с.: илл В учебнике рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов.

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста

  • формат pdf
  • размер 3.03 МБ
  • добавлен 21 сентября 2010 г.
М.: Наука, 1966. 120 с. Работа состоит из двух частей. В первой части вводятся основные понятия алгебры логики и приводится ряд общих теорем. Эта глава по своему содержанию тесно примыкает к работе одного из авторов. Рассматриваются некотрые специальные замкнутые классы и связанные с ними итерационные свойства. В связи с этим доказывается большое количество лемм. Основные построения производятся в следующей части. Во второй части строятся замкну...