Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998
Практикум по введению в математическую логику, Воротников С.М., Егоров В А., Матюшенко Л Н., 1998.
По содержанию данное пособие тесно связано с конспектом лекций одного из авторов и является методической основой для проведения практических занятии по темам: формулы логики высказываний и операции над ними; упрощение записи формул, доказательство равносильности, тождественной истинности и тождественной ложности формул; приведение формул логики высказываний к нормальным формам; использование формул логики высказываний в теории конечных автоматов; формулы логики предикатов и операции над ними; исследование выполнимости, истинности, ложности и равносильности формул логики предикатов, приведение формул логики предикатов к предваренной (пренексной) нормальной форме; основы исчисления высказываний и исчисления предикатов.
Рассмотрены примеры решения задач по указанным темам, приведены задачи и упражнения для самостоятельного решения и варианты индивидуальных заданий.
Для студентов-электриков, электронщиков, электромехаников и прикладных математиков.
Высказывания и операции над ними, формулы.
Сводка теории.
Имена предметов называются индивидными (предметными) константами. В "грамматике" формального языка индивидные константы играют роль существительных.
Выражения, содержащие знаки "переменных" и превращающиеся в имена предметов, если вместо переменных подставить некоторые имена предметов, называются именными Формами. Именные формы мы будем называть индивидными (предметными) переменными. Областью изменения индивидных переменных являются не только числа, но и совокупность любых индивидов (в частности, для нематематического языка -любые предметы или даже любые утверждения). В "грамматике" формального языка индивидные переменные играют роль местоимений.
Соединяя два имени чисел знаками равенства или неравенства, получаем записи некоторых утверждений - это высказывания, называемые еще пропозициональными переменными, если они содержат индивидные переменные.
СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ЗАНЯТИЕ 1. Высказывания и операции над ними, формулы
ЗАНЯТИЕ 2.Упрощение формул. Тождественные преобразования. Доказательство равносильности, тождественной истинности и тождественной ложности формул и булевых функций
ЗАНЯТИЕ 3. Нормальные формы (ДНФ, КИФ, СДНФ, СКНФ) формул логики высказываний
ЗАНЯТИЕ 4. Применение формул логики высказываний в теории однотактных дискретных автоматов
ЗАНЯТИЕ 5. Формулы логики предикатов и их преобразование; приведение к предваренной нормальной форме (ПНФ)
ЗАНЯТИЕ 6. Общее представление об исчислении высказываний и исчислении предикатов
ВАРИАНТЫ ИНДИВИДУАЛЬНОГО ЗАДАНИЯ
БИБЛИОГРАФИЧЕСКИЙ СПИСОК.
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12755 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
+ К.М.
Авторы: Муха Д., Луков Л.Д.Название: + К.М.Издательство: Salamandra P.V.V.Год: 2014Количество страниц: 72Формат: PDFРазмер: 3,13 MBСерия "Polaris: Путешествия, приключения, фантастика" Выпуск 39.После . . .
-
Кукуруза: улучшение сортов, производство семян, использование
Автор: Югенхеймер Р.У. Название: Кукуруза: улучшение сортов, производство семян, использование Издательство: КолосГод: 1979Страниц: 519Формат: djvuРазмер: 30 MbВ монографии подробно изложены вопросы с . . .
-
Химия висмутовых соединений и материалов
Название: Химия висмутовых соединений и материалов Автор: Юхин Ю.М., Михайлов Ю.И.Издательство: Новосибирск: СО РАНГод: 2001Страниц: 361ISBN: 5-7692-0404Формат: DJVUРазмер: 10.3 МбЯзык: русскийВ моног . . .
-
Брат гули-бьябона. Рассказы и повести о снежном человеке. Том 2
Авторы: М. Грешнов, Д. Лейк, М. Розенфельд, М. Черненко, Г. СтарковНазвание: Брат гули-бьябона. Рассказы и повести о снежном человеке. Том 2Издательство: Salamandra P.V.V.Год: 2014Количество страниц: . . .
-
Рок-н-ролл под Кремлем. Сборник 6 книг
Название: Рок-н-ролл под Кремлем. Сборник 6 книг Автор: Даниил Корецкий Издательство: Астрель Год издания: 2008-2013 Страниц: 1490 Язык: Русский Формат: fb2, rtf Качество: хорошее Размер: 14,77 Мб О . . .
-
Рог ужаса. Рассказы и повести о снежном человеке. Том 1
Авторы: Э.Ф. Бенсон, К. Станюкович, В. Карпов, Й. Несвадба, Б. Шоу, Г. Реймерс, В. Рожков, А. Шалимов, У. МейклНазвание: Рог ужаса. Рассказы и повести о снежном человеке. Том 1Издательство: Salamandra . . .
-
Хэмбли Барбара (22 книги)
Название: Хэмбли Барбара (22 книги) Автор: Хэмбли Барбара Издательство: Разные Год издания: 1994-2010 Язык: Русский Формат: FB2 Качество: отличное Размер: 26,7 МбОписание: Американская писательница, . . .
-
Грамматический строй языка памятников древнетюркской письменности VIII-XI вв
Автор: Кондратьев В.Г. Название: Грамматический строй языка памятников древнетюркской письменности VIII-XI вв Издательство: Ленинградский Государственный Университет Год: 1981Формат: pdfРазмер: 8 MbВ . . .
-
Каталог купальников Jolidon (2014)
Название: Каталог купальников Jolidon (2014) Автор: коллектив Год издания: 2014 Страниц: 100 Язык: Русский Формат: pdf Качество: хорошее Размер: 26,41 Мб Описание: Линия PRELUDE — это изысканная и эл . . .
-
Облицовочная плитка своими руками
Название: Облицовочная плитка своими руками Автор: Коллектив Издательство: Россия Год издания: 2014 Язык: Русский Формат: MPG Качество: отличное Размер: 297.19 МбОписание: Можно попробовать изготови . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Практикум по введению в математическую логику, Воротников С.М., Егоров В.А., Матюшенко Л.Н., 1998. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.