Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Интеграционные проекты СО РАН / Российская академия наук. Сибирское отделение. Вып. 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 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Целищев В.В. Нормативность дедуктивного дискурса: феноменология логических констант : монография / В. В. Целищев, 2004. - 339 с. - Текст : непосредственный.
Целищев В.В. Онтология математики: объекты и структуры / Целищев В. В.; Отв. ред. Бессонов А.В., 2003. - 238 с. - Текст : непосредственный.Целищев, В. В. Философия математики. Ч. 1, 2002. - 212 с. - Текст : непосредственный.Целищев В.В. Эпистемология математического доказательства / В. В. Целищев, 2006. - 211 с. - Текст : непосредственный.Целищев В.В. Алгоритмизация мышления. Геделевский аргумент / В. В. Целищев, 2005. - 303 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
Вейль Г. Математическое мышление : монография / Г. Вейль, 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 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽