Основной контент книги Математическая логика. Курс лекций и практических занятий
Text PDF

Volume 409 pages

2005 year

12+

Математическая логика. Курс лекций и практических занятий

Not for sale

About the book

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

Для студентов, аспирантов и преподавателей технических вузов.

See all reviews

Цитата "Пусть φ – произвольная функция из P2 . Так как система функций {f1,f2,…,fm}полна,то φ=φ(f1,f2,…,fm),причем переменных в φ может

быть любое конечное число от 1 до m". И так написана вся книга!!! Читать её невозможно. Собственно объяснение теоретического материала отсутствует. Много формул вообще никак не описывается. И так всем понятно… Не всем. Разочарован в этой книге.

Книга содержит хороший уровень теоретического материала, позволяющий заменить учебник. Из-за специфики предмета, книга не может охватить весь объём материала, однако в своей области она охватывает достаточный уровень для решения задач, предлагаемых в тексте пособия.

Задач много, задачи есть типовые и нет, присутствуют ответы.

Рекомендую для самостоятельной подготовки.

Log in, to rate the book and leave a review
Book С. Д. Шапорева «Математическая логика. Курс лекций и практических занятий» — download in pdf or read online. Leave comments and reviews, vote for your favorites.
Age restriction:
12+
Release date on Litres:
10 January 2018
Writing date:
2005
Volume:
409 p.
ISBN:
978-5-94157-702-6
Total size:
26 МБ
Total number of pages:
409
Copyright holder:
БХВ-Петербург
Download format:
Text, audio format available
Average rating 4,7 based on 254 ratings
Audio
Average rating 4,2 based on 736 ratings
Text, audio format available
Average rating 4,9 based on 54 ratings
Text
Average rating 4,9 based on 2620 ratings
Audio
Average rating 4,8 based on 68 ratings