Информатика и вычислительная техника
  • формат djvu
  • размер 3.9 МБ
  • добавлен 28 сентября 2011 г.
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование
Автор: Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л.
Название: Алгебра. Языки. Программирование.
Издательство: Издательство «Мир».
Формат: djvu.
Размер: 4.0 Mb.
Эволюция общения человека с ЭВМ связана с созданием мощных средств их математического обеспечения. Используемые при этом развитые языки и системы программирования существенно повышают "Интеллект" ЭВМ, реализуемый как схемным, так и программным способом, и способствуют дальнейшему расширению сферы применения вычислительной техники. Решение возникающих в связи с этим задач обусловило становление и развитие теоретического программирования и проникновение в него идей и методов общей алгебры. Монография посвящена изучению алгебраических методов с учетом их применения в теоретическом и системном программировании: прикладной теори алгоритмов, теории формальных языков и систем программирования.
Похожие разделы
Смотрите также

Ерусалимский Я. М. Дискретная математика: теория, задачи, приложения

  • формат djvu
  • размер 2.53 МБ
  • добавлен 05 сентября 2007 г.
Учебное пособие по дискретной математике. Содержит разделы: алгебра высказываний, алгебра предикатов и множеств, отображения, элементы комбинаторики, отношения, булевы функции, элементы теории алгоритмов и графов. Отдельный раздел составляют задачи и упражнения. Для студентов и преподавателей вузов, инженеров-системотехников, программистов

Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения

  • формат pdf
  • размер 4.17 МБ
  • добавлен 04 января 2012 г.
М.: Вузовская книга, 2000. - 280 с. Учебное пособие по дискретной математике. Содержит разделы: - алгебра высказываний, - алгебра предикатов и множеств, - отображения, - элементы комбинаторики, - отношения, - булевы функции, - элементы теории алгоритмов и графов. Отдельный раздел составляют задачи и упражнения. Для студентов и преподавателей вузов, инженеров-системотехников, программистов

Зюбин В.Е. Программирование информационно-управляющих систем на основе конечных автоматов

  • формат pdf
  • размер 919.12 КБ
  • добавлен 22 июня 2009 г.
В учебно-методическом пособии рассматривается применение модели конечного автомата и его модификаций при создании информационно-управляющих систем. Анализируется специфика задач управления и языки, используемые для описания управляющих алгоритмов. Рассматриваются типовые алгоритмы, используемые при решении задач промышленной автоматизации.

Кулабухов С.Ю. Дискретная математика

  • формат pdf
  • размер 1.07 МБ
  • добавлен 24 декабря 2009 г.
Шахты: Южно-Российский государственный университет сервиса, 2006. - 150 с. Конспект лекций для студентов механико-радиотехнического факультета. Название глав: Введение в теорию множеств, Основы комбинаторики, Алгебра высказываний, Булевы функции, Исчисление высказываний, Алгебра предикатов, Основы теории алгоритмов.

Кулабухов С.Ю. Дискретная математика

  • формат pdf
  • размер 912.93 КБ
  • добавлен 13 января 2008 г.
Таганрог, 2001 г. Введение в теорию множество, основы комбинаторики, алгебра высказываний, булевы функции, исчисление высказываний, алгебра предикатов, Основы теории алгоритмов

Лекции - Дискретная математика

Статья
  • формат doc, htm
  • размер 55.84 КБ
  • добавлен 20 марта 2011 г.
Содержит 15 лекций, достаточно полно излагающие главный материал. Множество. Алгебра множеств. Теория булевых функций. Булева алгебра. Определение и способ задания булевых функций. Дизъюнктивные нормальные формы (ДНФ). Конъюнктивные нормальные формы (КНФ). Продолжение темы «ДНФ». Метод Квайна – Мак-Клоски для нахождения минимальной ДНФ. Функционально полные системы функций. Продолжение темы «Многочлены Жегалкина». Функциональные элементы. Схемы....

Лекции по дискретной математике

Статья
  • формат doc
  • размер 41.63 КБ
  • добавлен 06 января 2009 г.
Множество. Алгебра множеств. Теория булевых функций. Булева алгебра. Определение и способ задания булевых функций. Дизъюнктивные нормальные формы (ДНФ).Конъюнктивные нормальные формы (КНФ). Метод Квайна – Мак-Клоски для нахождения минимальной ДНФ. Функционально полные системы функций. Графы.

Лекции по дискретной математике

Статья
  • формат jpg
  • размер 21.03 МБ
  • добавлен 20 июня 2009 г.
Скан с тетради преподавателя. Теория множеств. Булева алгебра, алгебра логики, математическая логика, исчисление высказываний. Теория графов. Теория автоматов.rn

Мунасыпов Н.А. Учебное пособие по Дискретной математике

  • формат pdf
  • размер 598.93 КБ
  • добавлен 23 февраля 2010 г.
Дискретная математика. ВТУ. Москва 2005. - 84 с. Операции над множествами. Алгебра Буля. Отображение множеств. Мощность множества. Отношения (эквивалентность, толерантность, порядок). Алгебра высказываний. Математическая логика. Логические операции. Формулы алгебры высказываний. Варианты импликации. Функции алгебры высказываний. Полные системы связок. Проверка правильности рассуждений. Нормальные формы. Формул алгебры высказываний. Логические от...

Трохимчук Р.М. Булеві функції

  • формат htm, doc
  • размер 459.44 КБ
  • добавлен 06 января 2012 г.
К.: РВЦ «Київський університет», 2008. Навчальний посібник для студентів факультету кібернетики Київського національного університету. Зміст. Булеві функції. Елементарні булеві функції. Булеві функції і формули. Основні тотожності алгебри логіки. Розклад булевої функції за змінними. Алгебра формул і алгебра булевих функцій. Канонічні форми булевих функцій. Принцип двоїстості. Проблема повноти для алгебри булевих функцій. Алгебра Жегалкіна. Замкн...