Математическая логика, Курс лекций и практических занятий, Шапорев С.Д., 2005.
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Операции над высказываниями.
Учение о высказываниях - алгебра высказываний, или алгебра логики, — является простейшей логической теорией. Она рассматривает конечные конфигурации символов и взаимоотношения между ними. Знакомство с законами алгебры высказываний облегчает изучение более сложных логических исчислений. Высказывание — это всякое повествовательное предложение, утверждающее что-либо о чем-либо, при этом непременно истинное или ложное. Логическими значениями высказываний являются "истина" и "ложь", обозначаемые 1 и 0. Высказывание — это те первичные понятия теории, которые не определяются строго, а лишь поясняются.
ОГЛАВЛЕНИЕ.
ЧАСТЬ I.МАТЕМАТИЧЕСКАЯ ЛОГИКА.
ЧАСТЬ II.ОТВЕТЫ, РЕШЕНИЯ, УКАЗАНИЯ.
Купить .
Дата публикации:
Теги: Шапорев :: лекции по математике :: математика :: математическая логика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Построение и преобразования графиков, Параметры, часть 1, Линейные функции и уравнения, Шахмейстер А.Х., 2014
- Основы стохастического анализа, учебное пособие, Рохлин Д.Б., 2019
- Вездесущее число «пи», Жуков А.В., 2004
- Основы теории относительности, курс лекций, Ушаков Е.А., 2003
Предыдущие статьи:
- Откуда мы знаем, что такое точка, Пособие, Локшин А.А., Иванова Е.А., 2011
- Откуда мы знаем, что такое точка, Пособие, Локшин А.А., Иванова Е.А., 2012
- Множества и логика, Пособие, Локшин А.А., Иванова Е.А., 2017
- Множества и логика, Локшин А.А., Иванова Е.А., 2018