Czytaj tylko na LitRes

Książki nie można pobrać jako pliku, ale można ją czytać w naszej aplikacji lub online na stronie.

Основной контент книги Введение в математическую логику
ТекстtekstPDF

Objętość 266 stron

0+

Введение в математическую логику

2-е изд., испр.
autor
в. м. зюзьков
Czytaj tylko na LitRes

Książki nie można pobrać jako pliku, ale można ją czytać w naszej aplikacji lub online na stronie.

399 ₽
40,35 zł

O książce

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и расмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения. Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.

Zobacz wszystkie recenzje

Когда мне морально больно читать эту книгу, меня спасают цитаты и чувство юмора автора:)

Ну и естественно, это хороший учебник, всем рекомендую:)

Zaloguj się, aby ocenić książkę i zostawić recenzję
Książka «Введение в математическую логику» — czytaj online na stronie. Zostaw komentarze i recenzje, głosuj na ulubione.
Ograniczenie wiekowe:
0+
Data wydania na Litres:
10 sierpnia 2021
Objętość:
266 str.
ISBN:
978-5-8114-3053-6
Całkowity rozmiar:
5.6 МБ
Całkowita liczba stron:
266

Z tą książką czytają