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

	Новиков, П.С. Конструктивная математическая логика с точки зрения классической Серия: Математическая логика и основания математики
	Издательство: М.: Наука
	Переплет: коленкоровый + суперобложка; 328 страниц; 1977 г.
	ISBN: [не указан]; Формат: стандартный
	Язык: русский
	На сайте с 28.03.2006

Аннотация

Дополняет предыдущую книгу "Элементы математической логики". Читается как самостоятельная книга. Подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. Рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной форме. Доказательства основных утверждений приводятся во всех деталях. В последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Геделя о неполноте формальной арифметики.
Для широкого круга читателей, не требует специальной подготовки, полезна для лиц, Занимающихся исследованием математических аспектов конструктивной логики, может служить основой для спецкурсов.

С о д е р ж а н и е.
1. Классическая логика высказываний;
2. Конструктивная (интуиционистская) логика высказываний;
3. D-исчисление Геделя;
4. Исчисление предикатов;
5. Формализованная арифметика.

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

Продавец: Arventur (Москва, RU/77 )   Состояние: как новое; В продаже с 25.02.2024 Комментарий: Книга без суперобложки. Условия доставки и оплаты Способы доставки: встреча по договоренности; почтой наложенным платежом; почтой по предоплате Способы оплаты: наличными; почтовый перевод/перевод без открытия счета; банковской картой; электронный платеж (WM, Y.Д и т.п.)	Цена 179 руб
Продавец: bukvoed (Киев, UA/11 )   Состояние: отличное; В продаже с 07.05.2024 Комментарий: без суперобложки; на форзаце владельческая подпись. Вес 390 г. Условия доставки и оплаты Способы доставки: почтой по предоплате Способы оплаты: перевод на банковский счет; почтовый перевод/перевод без открытия счета; электронный платеж (WM, Y.Д и т.п.) Дополнительно: ВНИМАНИЕ! В НАСТОЯЩЕЕ ВРЕМЯ ЗАКАЗЫ ОТ ПОКУПАТЕЛЕЙ ИЗ РФ и БЕЛАРУСИ НЕ ПРИНИМАЮ И НЕ ОТПРАВЛЯЮ В ЭТИ СТРАНЫ Доставка ◆по всему миру ◆Укрпочтой ◆заказным отправлением ◆после полной предоплаты ◆по Украине Укрпочтой или Новой почтой - после оплаты Способы оплаты ◆банковский перевод на карту Приватбанка (Украина)◆по международным системам денежных переводо... [подробнее]	Цена 500 руб
Продавец: Leon-books (Истра, RU/50 )   Состояние: отличное; В продаже с 23.03.2022 Комментарий: книга в идеальном состоянии, суперобложка - в хорошем Условия доставки и оплаты Способы доставки: самовывоз; почтой по предоплате Способы оплаты: банковской картой; электронный платеж (WM, Y.Д и т.п.) Дополнительно: При заказе от 3-х книг -- скидка от 3% При заказе от 6-ти книг -- скидка от 6% При заказе от 10-ти книг -- скидка от 10% Доставка Почтой России: отправка со склада в течение 2х-3х дней! Отправка другими транспортными компаниями в течение 4х дней. Самовывоз в любой день. Подробно опишу состояние книги; содержание -- до заказа (через кнопку "Спросить").	Цена 596 руб

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

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

листать