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

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

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

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

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

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

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

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

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

Считаем быстро и правильно. 4 класс. ФГОС

Автор(ы): Горохова Анна Михайловна   Издательство: Эксмо-Пресс, 2016 г.  Серия: В помощь младшему школьнику. Раскраска-тренажер

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

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


Считаем быстро и правильно. 3 класс. ФГОС

Автор(ы): Горохова Анна Михайловна   Издательство: Эксмо-Пресс, 2016 г.  Серия: В помощь младшему школьнику. Раскраска-тренажер

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

Пособие представляет собой математическую раскраску, которая поможет ученику 3-го класса закрепить навыки счета, решения примеров, и сравнения чисел в пределах 1000, а также развить мелкую моторику, логику и внимание. В книге 31 задание на счет и раскрашивание, цветная вкладка с рисунками-ответами, раскраской-антистрессом для родителей и грамотой, которой школьник награждается за старание и любознательность. Нестандартная подача материала в пособии поможет увеличить эффективность занятий. Для младшего школьного возраста.


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

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

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

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


Математика. 3 класс. Комплексный тренажер

  Издательство: Кузьма, 2016 г.  Серия: Комплексный тренажер

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

Тренажёр предназначен для развития математических способностей, умений и навыков, систематизации и углубления математических знаний. Он поможет ребёнку закрепить приёмы устного и письменного сложения и вычитания чисел в пределах 100, а также усвоить принцип действий умножения и деления. В издании содержится большое количество математических примеров, которые помогут сформировать счётные навыки и математическую логику, а в дальнейшем помогут довести навык выполнения устного счёта до автоматизма. Специально подобранные задания выработают у ученика концентрацию и усилят эффект обучения, что в результате поможет ему анализировать и решать текстовые задачи разной сложности, а также использовать математические знания для измерения и построения, определения времени. Тренажёр соответствует школьной программе обучения математике. Составитель: Барковская Н. Ф.