Математическая логика и теория алгоритмов - Математика курс лекций
Главная
Математика
Математическая логика и теория алгоритмов
Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
посмотреть текст работы
скачать работу можно здесь
полная информация о работе
весь список подобных работ
Нужна помощь с учёбой? Наши эксперты готовы помочь!
Нажимая на кнопку, вы соглашаетесь с
политикой обработки персональных данных
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
HTML-версии работы пока нет. Cкачать архив работы можно перейдя по ссылке, которая находятся ниже.
Алгебра логики, булева алгебра. Алгебра Жегалкина, педикаты и логические операции над ними. Термины и понятия формальных теорий, теорема о дедукции, автоматическое доказательство теорем. Элементы теории алгоритмов, алгоритмически неразрешимые задачи. курс лекций [652,4 K], добавлен 29.11.2009
Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики. контрольная работа [345,3 K], добавлен 29.11.2010
Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений. контрольная работа [178,2 K], добавлен 20.01.2011
Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций. реферат [63,3 K], добавлен 06.12.2010
Операции над логическими высказываниями: булевы функции и выражение одних таких зависимостей через другие. Пропозициональные формулы и некоторые законы логики высказываний. Перевод выражений естественного языка на символическую речь алгебры логики. контрольная работа [83,3 K], добавлен 26.04.2011
Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул. презентация [67,8 K], добавлен 23.12.2012
Составление таблицы значений функции алгебры логики и нахождение всех существенных переменных. Связный ориентированный и взвешенный граф. Построение функции полиномом Жегалкина. Текст программы для алгоритма Дейкстры. Определение единиц и нулей функции. контрольная работа [43,2 K], добавлен 27.04.2011
Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д. PPT, PPTX и PDF-файлы представлены только в архивах. Рекомендуем скачать работу .
© 2000 — 2021
Математическая логика и теория алгоритмов курс лекций. Математика.
Сочинение: Философия истории в романе Л. Н. Толстого Война и мир 2
Особенности Кормления Поросят Отъемышей Реферат
Курсовая работа по теме Извещатель охранный объемный адресный
Отравления соединениями мышьяка (As).
Краткий Видеоразбор Направлений Итогового Сочинения 2022
Курсовая работа: Технологічний процес виготовлення деталі "Втулка перехідна"
Отчет по практике по теме Акционерное общество «Дубиновское хлебоприемное предприятие»
Контрольная работа по теме Акционерные общества, особенности их правового положения
Курсовая Исследование Характера Дошкольника
Курсовая работа по теме Policy of Barack Obama
Сочинение На 5 Класс По Литературе
Курсовая Работа На Тему Исторический Музей Города-Курорта Белокуриха Экспозиционно-Выставочная Деятельность
Курсовая работа по теме Организация внеучебной деятельности
Реферат: В.В. Жириновский. Скачать бесплатно и без регистрации
Дипломная работа по теме Методы и приёмы формирования хронологических представлений младших школьников
Реферат: Формирование банковских ресурсов банков второго уровня
Реферат по теме Основы физики атмосферы
Билеты: Условия труда по показателям тяжести трудового процесса
Курсовая работа по теме Силовое электрооборудование корнеплодохранилища ёмкостью 500 тон
Итоговая Контрольная Работа Промежуточная Аттестация
Проектирование снайперской винтовки - Военное дело и гражданская оборона курсовая работа
Права и свободы человека и гражданина - Государство и право курсовая работа
Научное наследие В.В. Виноградова - Иностранные языки и языкознание реферат