В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.
Закон тождества.
это традиционный и формальный логический закон, согласно которому утверждение (суждение или умозаключение), введенное однажды в рассуждение, должно оставаться неизменным, однозначно понимаемым на протяжении всего последующего рассуждения, каким бы продолжительным оно ни являлось.
ОГЛАВЛЕНИЕ.
Предисловие.
Введение.
Глава 1.АЛГЕБРА ВЫСКАЗЫВАНИЙ.
Глава 2.ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ.
Глава 3.ЛОГИКА ПРЕДИКАТОВ.
Литература.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика, учебник для бакалавриата, Матросов В.Л., Мирзоев М.С., 2020 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: Матросов :: Мирзоев :: книги по математике :: математика :: логика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Основы культурно-просветительской деятельности, Вдовиченко А.А., 2016
- Дифференциальные уравнения и их приложения, Понтрягин Л.С., 2011
- Теория вероятностей и математическая статистика, Буре В.М., Парилина Е.М., 2013
- Наглядная математическая статистика, учебное пособие, Лагутин М.Б., 2015
Предыдущие статьи:
- Математика на ладони, Уорринг К., 2020
- Методы решения граничных задач теории управления, Квитко А.Н., Якушева Д.Б., 2013
- Курс дифференциального и интегрального исчисления, в 3 томах, том 2, Фихтенгольц Г.М., 2003
- Курс дифференциального и интегрального исчисления, в 3 томах, том 1, Фихтенгольц Г.М., 2003