+7(495) 980-12-16
  10:00-18:00 пн-пт
  book@logobook.ru
   
    Поиск книг    
Найти
  Зарубежные издательстваРоссийские издательства  
   Авторы | Каталог книг | Издательства | Новинки | Детские книги | Модели | Последние поступления | Бестселлеры
 

Изменчивая природа математического доказательства. Доказать нельзя поверить Кранц С. 9785001010647


Варианты приобретения
Цена: 792р.

Кол-во:
Наличие: Наличие на складе: Отгружается в течение 2-7 дней

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


Добавить в корзину
в Мои желания

Автор: Кранц С.
Название: Изменчивая природа математического доказательства. Доказать нельзя поверить
Издательство: Лаборатория знаний
Классификация:
ISBN: 5001010640
ISBN-13(EAN): 9785001010647
Обложка:
Страницы: 320
Вес: 0 кг.
Дата издания: 2018
Рейтинг:
Описание:
Дополнительное описание:

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

Автор: Моисеев Н.Н.
Название: Человек. Среда. Общество: Проблемы формализованного описания: Междисциплинарные исследования: вопросы языка и метода. О математических моделях неживой природы, живой материи, общественных процессов. Концептуальная модель биосферы. Теория управления и проб
ISBN: 5971079271 ISBN-13(EAN): 9785971079279
Издательство: ЛЕНАНД (Урсс)
Рейтинг:
Цена: 773.00 р.
Наличие на складе: Невозможна поставка.

 
 
Конструктивная теория доказательств и нестандартный анализ. ( Математический интуиционизм. Введение в теорию доказательств , и др.)

Автор: Драгалин А.Г.
Название: Конструктивная теория доказательств и нестандартный анализ. ( Математический интуиционизм. Введение в теорию доказательств , и др.)
ISBN: 5354003881 ISBN-13(EAN): 9785354003884
Издательство: УРСС
Рейтинг:
Цена: 1213.00 р.
Наличие на складе: Отгружается в течение 14-14 дней
Описание: А.Г. Драгалин (1941-1998) - выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А.Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г. Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е. Минца. В издание вошли также воспоминания коллег, учеников и друзей А.Г. Драгалина - С.Н. Артемова, Э.Б. Баялинова, А.С. Бойцова, Б.А. Кушнера, Г.Е. Минца, Е.Ю. Ногиной, А. Трулстра, В.Б. Шехтмана. Аналитический обзор основных результатов А.Г. Драгалина представлен в предисловии Н.Н. Непейводы. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

 
 
Развитие представлений о надежности математического доказательства

Автор: Перминов В.Я.
Название: Развитие представлений о надежности математического доказательства
ISBN: 5354008913 ISBN-13(EAN): 9785354008919
Издательство: УРСС
Рейтинг:
Цена: 616.00 р.
Наличие на складе: Отгружается в течение 14-14 дней
Описание: Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем. Для студентов философских и физико-математических специальностей, а также для всех тех, кто интересуется философскими проблемами современной науки.

 
 


ООО "Фактор Книга" Тел:(495) 980-12-16, rus.logobook.ru
Читайте отзывы покупателей и оценивайте качество магазина на Яндекс.Маркете
   В Контакте  Мобильная версия