Лекции по математической логике. Части 1 и 2. (Манин Ю.И.) 1974 год - учебники Времен СССР

Скачать старые советские учебники

Назначение: Учебник Юрия Манина "Лекции по математической логике" — это классическое пособие для студентов и преподавателей, а также для всех, кто увлекается логикой. В книге подробно рассматриваются языки высказываний и предикатов, а также проблема континуума, связанная с аксиомой выбора. Особенно интересны разделы, посвящённые теоремам Геделя, которые показывают, что даже в самых строгих формальных системах существуют недоказуемые истины. Книга хорошо структурирована и содержит как теоретические доказательства, так и интуитивные пояснения. В современных условиях она полезна для понимания основ логического программирования и искусственного интеллекта.

© Московский институт электронного машиностроения, Москва 1974

Авторство: Манин Ю.И.

Формат: PDF Размер файла: 4.26 MB

СОДЕРЖАНИЕ

Введение.
Глава I: Язык высказываний.

Основы языков.
Синтаксис и интерпретация.
Истинность высказываний.
Глава II: Язык предикатов.
Синтаксис и интерпретация.
Аксиомы и теоремы.
Теоремы Геделя.
Глава III: Проблема континуума.
Континуум-гипотеза.
Булева интерпретация.
Итоги и обсуждение.

Скачать бесплатный учебник СССР - Лекции по математической логике. Части 1 и 2. (Манин Ю.И.) 1974 года

Ссылки на скачивание:

ТЕЛЕГРАМ ВКОНТАКТЕ ЯНДЕКС ДИСК

📜 ОТКРЫТЬ ДОПОЛНИТЕЛЬНУЮ ИНФОРМАЦИЮ....

Математическая логика — это фундамент, на котором строится современная наука, и книга Юрия Манина "Лекции по математической логике" предлагает глубокое и доступное введение в эту область.

Язык высказываний
Первая часть книги посвящена языку высказываний, который является основой логики. Манин подробно объясняет, как строится алфавит и синтаксис языка, а также как интерпретируются высказывания. Особое внимание уделено понятиям содержательной и синтаксической истинности.

Язык предикатов
Во второй части автор переходит к языку предикатов, который позволяет формулировать более общие утверждения. Здесь рассматриваются аксиомы и теоремы, а также знаменитые теоремы Геделя и Левенгейма-Сколема.

Проблема континуума
Третья часть книги посвящена проблеме континуума, одной из самых сложных проблем математики. Манин обсуждает связь этой проблемы с аксиомой выбора и предлагает булеву интерпретацию языка.

Заключение
Книга Манина — это классика, которая будет полезна как студентам, так и специалистам в области компьютерных наук.