![](/irbis_ph/images/db_navy.gif) Філософам - Електронний каталог НБУВ ![](/irbis_ph/images/db_navy.gif) Філософам - Наукова електронна бібліотека ![](/irbis_ph/images/db_navy.gif) Філософам - Інформаційні ресурси Інтернет ![](/irbis_ph/images/db_navy.gif) Філософам - Віртуальна бібліографічна довідка
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: ((<.>U=Ю0/8$<.>)+(<.>U=Ю2$<.>)+(<.>U=Ю6$<.>)+(<.>U=Ю4$<.>)+(<.>U=Ю3$<.>)+(<.>RZN=Ю2$<.>))*((<.>U=Ю0/8$<.>)+(<.>U=Ю2$<.>)+(<.>U=Ю6$<.>)+(<.>U=Ю4$<.>)+(<.>U=Ю3$<.>)+(<.>RZN=Ю2$<.>))*((<.>U=Ю0/8$<.>)+(<.>U=Ю2$<.>)+(<.>U=Ю6$<.>)+(<.>U=Ю4$<.>)+(<.>U=Ю3$<.>)+(<.>RZN=Ю2$<.>))*((<.>U=Ю0/8$<.>)+(<.>U=Ю2$<.>)+(<.>U=Ю6$<.>)+(<.>U=Ю4$<.>)+(<.>U=Ю3$<.>)+(<.>RZN=Ю2$<.>))*((<.>U=Ю0/8$<.>)+(<.>U=Ю2$<.>)+(<.>U=Ю6$<.>)+(<.>U=Ю4$<.>)+(<.>U=Ю3$<.>)+(<.>RZN=Ю2$<.>))*((<.>U=Ю0/8$<.>)+(<.>U=Ю2$<.>)+(<.>U=Ю6$<.>)+(<.>U=Ю4$<.>)+(<.>U=Ю3$<.>)+(<.>RZN=Ю2$<.>))*(<.>U=Ю4 в016$<.>) |
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3
|
| | | | |
1. |
Рассел, Б. Введение в математическую философию. Избранные работы [Електронний ресурс] : пер. с англ. / Б. Рассел. - Новосибирск : Сибирское университетское издательство, 2007. - 264 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальному залі "Фонду Президентів України"
Настоящий том включает труды Бертрана Рассела, посвященные логике и основаниям математики. "Математическая логика, основанная на теории типов" - самая известная и наиболее цитируемая работа Рассела в области математической логики. Во "Введении в математическую философию" Бертран Рассел в популярной форме пересказывает Principia Mathematica (базовый труд Рассела, написанный совместно с А.Уайтхедом), особо акцентируя внимание на философской значимости достигнутых результатов. В этой работе также нашли отражение взгляды Рассела на природу математики.
Кл.слова: математика -- філософія -- логіка
| |
| | | | |
2. |
van Benthem, Johan. The age of alternative logics. Assessing philosophy of logic and mathematics today [Electronic resource] / Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, Henk Visser. - Dordrecht : Springer, 2006. - 348 p. - (Logic, epistemology, and the unity of science ; vol. 3) Переклад назви: Вік альтернативної логіки. Оцінка філософії логіки та математики сьогодні
Рубрики:
Повний текст доступний у читальному залі "Фонду Президентів України"
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development of logic. There has been an influx of new ideas, concerns, and logical systems reflecting a great variety of reasoning tasks in the sciences. This volume reflects the multi-dimensional nature of the interplay between logic and science.
Кл.слова: епістемічна модель -- IF-logic
| |
| | | | |
3. |
Успенский, Владимир Андреевич. Что такое нестандартный анализ? [Електронний ресурс] / В. А. Успенский. - М. : Наука, 1987. - 129 с.
Рубрики:
Повний текст доступний у читальному залі "Фонду Президентів України"
В последние два десятилетия возник так называемый нестандартный анализ. Предлагаемый им подход к обоснованию математического анализа базируется на допущении существования, помимо обычных действительных чисел, "бесконечно больших чисел" и "бесконечно малых чисел". Полное логическое обоснование этого подхода довольно сложно и опирается на конструкции математической логики. Цель книги - не давая полного обоснования, а лишь постулируя необходимые факты, объяснить на доступных примерах, в чем суть нестандартного анализа.
Кл.слова: математика -- аналіз -- логіка
| |
|
![](/irbis_ph/images/search_navy.gif)
Простий
![](/irbis_ph/images/search_navy.gif)
За словником
![](/irbis_ph/images/search_navy.gif)
Статистика звернень
Статистика за
25.08.2024
|
Число запитів
|
|
Число користувачів
|
|
|
Статистика за поточний місяць
|
Число запитів
|
|
Число користувачів
|
|
|
|