Математическая логика, учебник для бакалавриата, Матросов В.Л., Мирзоев М.С., 2020

Математическая логика, Учебник для бакалавриата, Матросов В.Л., Мирзоев М.С., 2020.

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.




Закон тождества.
это традиционный и формальный логический закон, согласно которому утверждение (суждение или умозаключение), введенное однажды в рассуждение, должно оставаться неизменным, однозначно понимаемым на протяжении всего последующего рассуждения, каким бы продолжительным оно ни являлось.

ОГЛАВЛЕНИЕ.
Предисловие.
Введение.
Глава 1.АЛГЕБРА ВЫСКАЗЫВАНИЙ.
Глава 2.ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ.
Глава 3.ЛОГИКА ПРЕДИКАТОВ.
Литература.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика, учебник для бакалавриата, Матросов В.Л., Мирзоев М.С., 2020 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: Матросов :: Мирзоев :: книги по математике :: математика :: логика