Полное описание
Целищев, В. В. ISBN 5-98901-010-9. - Текст : непосредственный.
Рубрики: Математика -- Философские вопросы
Доказательств теория
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-06/30142)
Шифр в сводном ЭК: 817364e5c564ff9927b49a458100e4fb
Интеграционные проекты СО РАН / Российская академия наук. Сибирское отделение. Вып. 40 : Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев, 2012. - 503 с. - Текст : непосредственный. Целищев В.В. Нормативность дедуктивного дискурса: феноменология логических констант : монография / В. В. Целищев, 2004. - 339 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Проблемно-ориентированный подход к науке. Философия математики как концептуальный прагматизм / Ин-т философии и права, Сиб. отд-ние РАН, 2001. - 154 с. - Текст : непосредственный. Целищев В.В. Онтология математики: объекты и структуры / Целищев В. В.; Отв. ред. Бессонов А.В., 2003. - 238 с. - Текст : непосредственный. Целищев В.В. Две интерпретации логических систем / В. В. Целищев, А. В. Бессонов, 2010. - 268 с. - Текст : непосредственный. Целищев, В. В. Философия математики. Ч. 1, 2002. - 212 с. - Текст : непосредственный. Целищев В.В. Эпистемология математического доказательства / В. В. Целищев, 2006. - 211 с. - Текст : непосредственный. Целищев В.В. Алгоритмизация мышления. Геделевский аргумент / В. В. Целищев, 2005. - 303 с. - Текст : непосредственный. Хакинг Я. Почему вообще существует философия математики? / Я. Хакинг; пер. с англ. Целищева В. В., 2020. - 399 с. - Текст : непосредственный. Грей, Джереми. Призрак Платона : модернистская трансформация математики / Дж. Грей; [пер. с англ. В. В. Целищева], 2021. - 623 с. - Текст (визуальный) : непосредственный. Тасич, Владимир. Математика и корни постмодернистской философии / В. Тасич; [пер. с англ. В. В. Целищев], 2022. - 366 с. - Текст (визуальный) : непосредственный. Человек и системы искусственного интеллекта / В. А. Лекторский, С. Н. Васильев, В. Л. Макаров [и др.]; под редакцией В. А. Лекторского, 2022. - 326 с. - Текст (визуальный) : непосредственный. Уилсон, Марк. Блуждающие значения : в двух томах. Т. 1гл. 1-6, 2025. - 519 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Канке В.А. Философия математики, физики, химии, биологии : учебное пособие / В. А. Канке, 2011. - 368 с. - Текст : непосредственный. Перминов В.Я. Философия и основания математики / В. Я. Перминов, 2001. - 319 с. - Текст : непосредственный. Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный. Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный. Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный. Ермолаева Н.Н. Практические занятия по алгебре. Элементы теории множеств, теории чисел, комбинаторики. Алгебраические структуры : выставочные материалы / Н. Н. Ермолаева, В. А. Козынченко, Г. И. Курбатова, 2014. - 111 с. - Текст : непосредственный. Шевченко В.В. О счетных семействах конечных множеств / В. В. Шевченко, 2008. - 57 с. - Текст : непосредственный. Султанова Л.Б. Неформальная рационализация в математике / Л. Б. Султанова, 2001. - 194 с. - Текст : непосредственный. Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный. Медведев Ф.А. Ранняя история аксиомы выбора / Ф. А. Медведев, 2013. - 303 с. - Текст : непосредственный. Войтов А.Г. Математика и философия. Проблема математической компетентности общества / А. Г. Войтов, 2013. - 98 с. - Текст : непосредственный. Труды Московского семинара по философии математики / МГУ им. М. В. Ломоносова. Филос. фак. Кн. 6 : Математика и реальность / под ред. В. А. Бажанова [и др.], 2014. - 502 с. - Текст : непосредственный. Новиков А.Г. Философские проблемы возникновения и начального этапа развития математики / А. Г. Новиков, 1992. - 160 с. - Текст : непосредственный. Кановей В.Г. Современная теория множеств: абсолютно неразрешимые классические проблемы / В. Г. Кановей, В. А. Любецкий, 2013. - 377 с. - Текст : непосредственный. Варпаховский Ф.Л. Алгебра. Элементы теории множеств. Линейные уравнения и неравенства. Матрицы и определители : выставочные материалы / Ф. Л. Варпаховский, А. С. Солодовников ; Ред. О. А. Павлович, 1974. - 160 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Люксембург А.А. Автоматизированное построение математических теорий / А. А. Люксембург, 2005. - 30 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Попов С.В. Об устранимости аксиомы индукции / С.В. Попов, 2005. - 27 с. - Текст : непосредственный. Целищев В.В. Эпистемология математического доказательства / В. В. Целищев, 2006. - 211 с. - Текст : непосредственный. Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / С. Кранц; пер. с англ. Н. А. Шиховой, 2018. - 320 с. - Текст : непосредственный. Логика и компьютер : Сб.ст. Вып. 5 : Пусть докажет компьютер, 2004. - 207 с. - Текст : непосредственный. Янов Ю.И. Математика, метаматематика и истина / Ю. И. Янов, 2006. - 32 с. - Текст : непосредственный. Перминов В.Я. Развитие представлений о надежности математического доказательства / В.Я.Перминов, 2004. - 240 с. - Текст : непосредственный. Лакатос И. Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; пер. с англ. с предисл. И. Н. Веселовского; отв. ред. И. Б. Погребысский, 2010. - 152 с. - Текст : непосредственный. Ларионов А.А. Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин, 2014. - 104 с. - Текст : непосредственный. The seventeen provers of the world / SpringerLink (Online service), 2006 r=on-line Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / С. Кранц; пер. с англ. Н. А. Шиховой, 2016. - 320 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. Канке В.А. Философия математики, физики, химии, биологии : учебное пособие / В. А. Канке, 2011. - 368 с. - Текст : непосредственный. Перминов В.Я. Философия и основания математики / В. Я. Перминов, 2001. - 319 с. - Текст : непосредственный. Канке В.А. Философия логики, математики, информатики и синергетики : учебное пособие / В. А. Канке, 2007. - 78 с. - Текст : непосредственный. Философия математики и технических наук / С. А. Лебедев, А. Д. Гетманова, А. А. Григорян [и др.], 2006. - 778 с. - Текст : непосредственный. Манин Ю.И. Математика как метафора / Ю. И. Манин, 2008. - 400 с. - Текст : непосредственный. Целищев В.В. Нормативность дедуктивного дискурса: феноменология логических констант : монография / В. В. Целищев, 2004. - 339 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
