Дискретная математика
Математика
  • формат doc
  • размер 742.07 КБ
  • добавлен 08 июня 2010 г.
Лобанов В.И. Инженерная логика против классической
Москва 1998 - 228с
Учебное пособие является общедоступным изложением инженерных методов разработки цифровых устройств. Показаны практические методы разработки цифровых устройств.
Похожие разделы
Смотрите также

Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика

  • формат djv
  • размер 2.09 МБ
  • добавлен 25 апреля 2009 г.
Москва, "Финансы и статистика", 2006. 368 с. Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств.

Андерсон Джеймс А. Дискретная математика и комбинаторика

  • формат djvu
  • размер 7.96 МБ
  • добавлен 26 января 2009 г.
Москва, 2004г. 960с. Книга адресована в первую очередь преподавателям и студентам технических специальностей. Она будет также полезна тем, кто интересуется дискретной математикой и желает изучить ее самостоятельно. Таблицы истинности, логика, доказательства. Теория множеств. Логика, целые числа и доказательства. Функции и матрицы. Алгоритмы и рекурсия. Графы, ориентированные графы и деревья. Теория чисел. Комбинаторика и вероятность. Алгебраичес...

Балюкевич Э.Л., Ковалева Л.Ф., Романников А.Н. Дискретная математика

  • формат pdf
  • размер 1.08 МБ
  • добавлен 02 ноября 2009 г.
Учебное пособие / Московский государственный университет экономики, статистики и. информатики, – М. , 2003, 127 с. Введение. Множества. Операции над множествами. Мощность множеств. Отображение множеств. Отношения на множествах. Тест. Математическая логика. Алгебра высказываний. Проблемы разрешимости. Нормальные формы. Исчисление высказываний. Логика предикатов. Тест. Теория графов. Графы. Деревья. Экстремальные задачи на графах. Вопросы для само...

Гисин В.Б. Лекции по дискретной математике

  • формат pdf
  • размер 2.08 МБ
  • добавлен 20 декабря 2008 г.
Множества. Отображения и соответствия. Отношения. Натуральные числа. Логика высказываний. Логика предикатов. Формальные теории. Алгоритмы и вычислимость. Булевы функции. Элементы теории кодирования. Функции выбора и их логическая форма. Элементы комбинаторики. Биномиальная модель. Биномиальный ряд. Производящие. Рекуррентные последовательности. Числа Фибоначчи. Графы. Деревья. Доминирование. Внутренняя и внешняя устойчивость в графах.

Контрольная работа

Лабораторная
  • формат doc
  • размер 93.52 КБ
  • добавлен 02 июня 2007 г.
Теория множеств. Графики, соответсвия, отношения. Решетки. Логика высказываний Предикаты. Автоматы.

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

Статья
  • формат doc
  • размер 1.14 МБ
  • добавлен 21 ноября 2008 г.
Элементы теории множеств. Комбинаторика. Элементы теории графов. Логические исчисления. Логика высказываний.

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

Статья
  • формат doc
  • размер 389.41 КБ
  • добавлен 26 декабря 2008 г.
Логика. Теория множеств. Теория графов. Логика предикатов. Теория простейших автоматов. Комбинаторика.

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

Статья
  • формат doc
  • размер 734.14 КБ
  • добавлен 13 марта 2009 г.
МГТУ "Станкин", кафедра прикладной математики Двузначная логика: - Функции алгебры логики. - Суперпозиция и формулы. - Булева алгебра. - Алгебра Жегалкина. - Нормальные формы логических функций. - Минимизация функций. - Полнота и замкнутость. К-значная логика: - Элементарные функции. - Основные свойства элементарных функций. - Основные формы функций. - Представление функций полиномами. - Полнота и замкнутость. Элементы теории графов:...

Просолупов Е.В. Конспект курса: Основы дискретной математики

  • формат pdf
  • размер 1.15 МБ
  • добавлен 11 сентября 2009 г.
Элементы теории множеств. Комбинаторика. Математическая логика Теория алгоритмов

Соловьев Е.А. Учебник по дискретной математике

  • формат doc
  • размер 168.96 КБ
  • добавлен 02 июня 2007 г.
Теория множеств. Логика высказываний. Логика предикатов. Метод резолюций. Система Генцена. Система Аристотеля. Примеры неклассических логик. Теория Автоматов. Теория графов. Теория групп. Теория алгоритмов. Понятие алгоритма. Конкретизация понятия алгоритма. Сложность вычислений. Машины Тьюринга. Нормальные алгорифмы Маркова. Рекурсивные функции. Формальные грамматики. Функциональное программирование. Логическое программирование....