Ваш поиск дал 9 результатов

Результаты поиска
	1.		КнигаТрудности доказательств : Как преодолеть страх перед математикой / А. Купиллари ; Перевод с англ. С. А. КулешоваКупиллари, А., Автор2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2003-5/244 (4). Добавить в подборку (удалить)
	2.		КнигаИзменчивая природа математического доказательства : доказать нельзя поверить / Стивен Кранц ; перевод с английского Н. А. ШиховойКранц, Стивен (1951-)2018 [т. е. 2017]16+ Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	3.		КнигаРазвитие представлений о надежности математического доказательства / В.Я. ПерминовПерминов, Василий Яковлевич, Автор2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-5/953 (3). Добавить в подборку (удалить)
	4.		КнигаИзменчивая природа математического доказательства : доказать нельзя проверить / Стивен Кранц ; пер. с англ. Н. А. ШиховойКранц, Стивен (1951-)2016 [т.е. 2015]16+ Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	5.		КнигаПростейшие примеры математических доказательств / В.А. УспенскийУспенский, Владимир Андреевич (д-р физ.-мат. наук ; 1930-2018), Автор 2009Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-4/11137 (2). Добавить в подборку (удалить)
	6.		КнигаПринцип парности и его применения в математике / А. Г. ГалкановГалканов, Аллаберди Галканович, Автор 2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/13161 (2). Добавить в подборку (удалить)
	7.		КнигаПростейшие примеры математических доказательств / В. А. УспенскийУспенский, Владимир Андреевич (д-р физ.-мат. наук ; 1930-2018), Автор 2012 [т.е. 2011]Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-4/9826 (2). Добавить в подборку (удалить)
	8.		КнигаПрограммные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул : монография / А. А. Ларионов, Е. А. Черкашин ; Федеральное гос. бюджетное образовательное учреждение высш. проф. образования "Иркутский гос. ун-т", Федеральное гос. бюджетное учреждение науки "Ин-т динамики систем и теории упр. Сибирского отд-ния РАН"Ларионов, Александр АлександровичЧеркашин, Евгений Александрович2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	9.		КнигаЛогико-методологический анализ работы И. Лакатоса "Доказательства и опровержения" : Учеб.-метод. указ. по теме: "Мат. логика. Логика роста и развития мат. знания" : Для студентов ст. курсов ун-тов и аспирантов / М-во образования Рос. Федерации, Воронеж. гос. ун-т. Мат. фак. Каф. функц. анализа ; Сост. В.И. Моисеев2002Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2002-4/6875 (1). Добавить в подборку (удалить)

Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru