x-uni.com
регистрация / вход
сейчас на линии 73 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 73 чел.
Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998

Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998

Практикум по введению в математическую логику, Воротников С.М., Егоров В А., Матюшенко Л Н., 1998.

   По содержанию данное пособие тесно связано с конспектом лекций одного из авторов и является методической основой для проведения практических занятии по темам: формулы логики высказываний и операции над ними; упрощение записи формул, доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики высказываний к нормальным формам; использование формул логики высказываний в теории конечных автоматов; формулы логики предикатов и операции над ними; исследование выполнимости, истинности, ложности и равносильности формул логики предикатов, приведение формул логики предикатов к предваренной (пренексной) нормальной форме; основы исчисления высказываний и исчисления предикатов.
Рассмотрены примеры решения задач по указанным темам, приведены задачи и упражнения для самостоятельного решения и варианты индивидуальных заданий.
Для студентов-электриков, электронщиков, электромехаников и прикладных математиков.

Высказывания и операции над ними, формулы.
Сводка теории.
Имена предметов называются индивидными (предметными) константами. В "грамматике" формального языка индивидные константы играют роль существительных.

Выражения, содержащие знаки "переменных" и превращающиеся в имена предметов, если вместо переменных подставить некоторые имена предметов, называются именными Формами. Именные формы мы будем называть индивидными (предметными) переменными. Областью изменения индивидных переменных являются не только числа, но и совокупность любых индивидов (в частности, для нематематического языка -любые предметы или даже любые утверждения). В "грамматике" формального языка индивидные переменные играют роль местоимений.

Соединяя два имени чисел знаками равенства или неравенства, получаем записи некоторых утверждений - это высказывания, называемые еще пропозициональными переменными, если они содержат индивидные переменные.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ   
ЗАНЯТИЕ 1. Высказывания и операции над ними, формулы
ЗАНЯТИЕ 2.Упрощение формул. Тождественные преобразования. Доказательство равносильности, тождественной истинности и тождественной ложности формул и булевых функций
ЗАНЯТИЕ 3. Нормальные формы (ДНФ, КИФ, СДНФ, СКНФ) формул логики высказываний
ЗАНЯТИЕ 4. Применение формул логики высказываний в теории однотактных дискретных автоматов
ЗАНЯТИЕ 5. Формулы логики предикатов и их преобразование; приведение к предваренной нормальной форме (ПНФ)
ЗАНЯТИЕ 6. Общее представление об исчислении высказываний и исчислении предикатов
ВАРИАНТЫ ИНДИВИДУАЛЬНОГО ЗАДАНИЯ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.

Скачать бесплатно на сайте fileskachat.com
Скачать бесплатно на сайте yadi.sk

Предложения интернет-магазинов

Физическая культура. 1-4 класс. Методические рекомендации для учителя. ФГОС

Автор(ы): Егоров Баатр Борисович, Пересадина Юлия Евгеньевна, Цандыков Василий Эдяшевич   Издательство: Баласс, 2012 г.  Серия: Образовательная система "Школа 2100"

Цена: 365 руб.   Купить

В пособии представлены программа "Физическая культура" для четырёхлетней начальной школы, примерное тематическое планирование и варианты организации третьего учебного часа по физической культуре в начальной школе. Учебник для 1-4 класса "Физическая культура" (авторы Б.Б. Егоров, Ю.Е. Пересадина) соответствует Федеральному государственному образовательному стандарту начального общего образования и является составной частью комплекта учебников развивающей Образовательной системы "Школа 2100".


Современные подходы и методы к введению ФГОС в школах России. Сборник статей

  Издательство: Педагогическое общество России, 2013 г.

Цена: 636 руб.   Купить

В настоящем сборнике представлены статьи учителей школ России, основанные на опыте по внедрению ФГОС нового поколения. Сборник адресован педагогам, руководителям образовательных учреждений, а также всем интересующимся проблематикой современного среднего образования в России.


Практикум к курсу англ. яз. под редакцией В.Д. Аракина: 4 курс

Автор(ы): Новикова Ирина Александровна, Петрова Наталья Юрьевна   Издательство: Владос, 2008 г.  Серия: Учебник для ВУЗов. Английский язык

Цена: 263 руб.   Купить

Практикум по домашнему чтению предназначен для студентов старших курсов английских факультетов, а также для учащихся школ с углубленным изучением английского языка. Практикум состоит из трех частей. В практикуме использованы рассказы современных английских писателей, которые широко известны во многих странах. 2-е издание, исправленное и дополненное.


Математические диктанты. 5 класс. ФГОС

Автор(ы): Жохов Владимир Иванович   Издательство: Мнемозина, 2015 г.  Серия: Математика

Цена: 240 руб.   Купить

Уникальное пособие, позволяющее эффективно развивать внимание, оперативную память детей, формировать правильную математическую речь пятиклассников. Пособие может быть использовано как при работе с учителем в классе, так и дома под руководством родителей. 5-е издание, стереотипное.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!