Математическая логика, Курс лекций и практических занятий, Шапорев С.Д., 2005.
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Операции над высказываниями.
Учение о высказываниях - алгебра высказываний, или алгебра логики, — является простейшей логической теорией. Она рассматривает конечные конфигурации символов и взаимоотношения между ними. Знакомство с законами алгебры высказываний облегчает изучение более сложных логических исчислений. Высказывание — это всякое повествовательное предложение, утверждающее что-либо о чем-либо, при этом непременно истинное или ложное. Логическими значениями высказываний являются "истина" и "ложь", обозначаемые 1 и 0. Высказывание — это те первичные понятия теории, которые не определяются строго, а лишь поясняются.
ОГЛАВЛЕНИЕ.
ЧАСТЬ I.МАТЕМАТИЧЕСКАЯ ЛОГИКА.
ЧАСТЬ II.ОТВЕТЫ, РЕШЕНИЯ, УКАЗАНИЯ.
Купить .
По кнопкам выше и ниже «Купить бумажную книгу» и по ссылке «Купить» можно купить эту книгу с доставкой по всей России и похожие книги по самой лучшей цене в бумажном виде на сайтах официальных интернет магазинов Лабиринт, Озон, Буквоед, Читай-город, Литрес, My-shop, Book24, Books.ru.
По кнопке «Купить и скачать электронную книгу» можно купить эту книгу в электронном виде в официальном интернет магазине «Литрес», если она у них есть в наличии, и потом ее скачать на их сайте.
По кнопке «Найти похожие материалы на других сайтах» можно найти похожие материалы на других сайтах.
On the buttons above and below you can buy the book in official online stores Labirint, Ozon and others. Also you can search related and similar materials on other sites.
Дата публикации:
Теги: Шапорев :: лекции по математике :: математика :: математическая логика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Построение и преобразования графиков, Параметры, часть 1, Линейные функции и уравнения, Шахмейстер А.Х., 2014
- Основы стохастического анализа, учебное пособие, Рохлин Д.Б., 2019
- Вездесущее число «пи», Жуков А.В., 2004
- Основы теории относительности, курс лекций, Ушаков Е.А., 2003
Предыдущие статьи:
- Откуда мы знаем, что такое точка, Пособие, Локшин А.А., Иванова Е.А., 2011
- Откуда мы знаем, что такое точка, Пособие, Локшин А.А., Иванова Е.А., 2012
- Множества и логика, Пособие, Локшин А.А., Иванова Е.А., 2017
- Множества и логика, Локшин А.А., Иванова Е.А., 2018