LibeX: Книжный интернет магазин. Продать книги. Купить книги

Магазин, где можно не только купить, но и продать книги

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

Расева, Е.; Сикорский, Р.: Математика метаматематики

counter

Расева, Е.; Сикорский, Р.

Математика метаматематики

Серия: Математическая логика и основания математики

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

Аннотация

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

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


 В продаже  Хочу купить
Продавец: Leon-books отлично, более 100 оценок (Истра, RU/50 флаг)  
Состояние: индикатор состояния хорошее; В продаже с 02.11.2023
Комментарий: книга в отличном состоянии, но края суперобложки потрепаны

Условия доставки и оплаты

Способы доставки: самовывоз; почтой по предоплате

Способы оплаты: банковской картой; электронный платеж (WM, Y.Д и т.п.)

Дополнительно: При заказе от 3-х книг -- скидка от 3%
При заказе от 6-ти книг -- скидка от 6%
При заказе от 10-ти книг -- скидка от 10%

Доставка Почтой России: отправка со склада в течение 2х-3х дней!
Отправка другими транспортными компаниями в течение 4х дней.
Самовывоз в любой день.

Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить" *).
Фото -- до заказа (через кнопку "... [подробнее]

Цена
350 руб


Продавец: wowik отлично, более 100 оценок (Томск, RU/70 флаг)  
Состояние: индикатор состояния отличное; В продаже с 16.09.2024
Комментарий: два небольших надрыва на суперобложке

Условия доставки и оплаты

Способы доставки: почтой по предоплате

Способы оплаты: банковской картой

Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.

Цена
970 руб


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



назад листать дальше
Первая помощь
>Впервые здесь?
>Как купить
>Как продать
>Зачем регистрироваться
>Платные услуги
еще ...
Поиск на LibeX
 
Название Автор 
расширенный поиск
Поиск на FindBook
findbook лого
 
Название Автор 
 Вход
 Имя:
 Пароль: 
 Запомнить пароль
регистрация
напомнить пароль





 
Индекс цитирования Яndex counter liveinternet.ru