Каталог: Наука, образование »•» Математика, статистика

	Расева, Е.; Сикорский, Р. Математика метаматематики Серия: Математическая логика и основания математики
	Издательство: М.: Наука. Главная редакция Физико-математической литературы
	Переплет: твердый + суперобложка; 591 страниц; 1972 г.
	ISBN: [не указан]; Формат: стандартный
	Язык: русский
	На сайте с 22.12.2006

Аннотация

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

В 1-й части даются все необходимые сведения из алгебры и топологии. От читателей требуется только знание основных понятий теории множеств. Краткое содержание: Часть I: Решетки. (Предварительные сведения из топологии, алгебры и теории решеток. Булевы алгебры. Топологические булевы алгебры. Псевдобулевы алгебры). Часть II: Классическая логика (Формализованные математич. теории. Алгебра формализованных языков. Классические пропозициональные исчисления. Классические элементарные формализованные теории). Часть III: Неклассические логики (Интуиционистские пропозициональные исчисления. Интуиционистские элементарные формализованные теории. Позитивная логика и модальная логика). Прим. переводчика. Библиография. Список символов. Именной и предметный указатели.

В продаже   Хочу купить

Продавец: Leon-books (Истра, RU/50 )   Состояние: хорошее; В продаже с 02.11.2023 Комментарий: книга в отличном состоянии, но края суперобложки потрепаны Условия доставки и оплаты Способы доставки: самовывоз; почтой по предоплате Способы оплаты: банковской картой; электронный платеж (WM, Y.Д и т.п.) Дополнительно: При заказе от 3-х книг -- скидка от 3% При заказе от 6-ти книг -- скидка от 6% При заказе от 10-ти книг -- скидка от 10% Доставка Почтой России: отправка со склада в течение 2х-3х дней! Отправка другими транспортными компаниями в течение 4х дней. Самовывоз в любой день. Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *). Фото -- до заказа (через кнопку "... [подробнее]	Цена 350 руб
Продавец: wowik (Томск, RU/70 )   Состояние: отличное; В продаже с 16.09.2024 Комментарий: два небольших надрыва на суперобложке Условия доставки и оплаты Способы доставки: почтой по предоплате Способы оплаты: банковской картой Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно. При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно. За пределы РФ книги не высылаю Встречи по договоренности исключаются.	Цена 970 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать