Бази даних

Наукова електронна бібліотека - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Книжкові видання та компакт-диски (9)Журнали та продовжувані видання (1)
Пошуковий запит: (<.>U=Ю4 в016$<.>)
Загальна кількість знайдених документів : 3
Представлено документи з 1 до 3

   Тип видання:   науково-популярне видання   
1.

Успенский, Владимир Андреевич.
Что такое нестандартный анализ? [Електронний ресурс] / В. А. Успенский. - М. : Наука, 1987. - 129 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


В последние два десятилетия возник так называемый нестандартный анализ. Предлагаемый им подход к обоснованию математического анализа базируется на допущении существования, помимо обычных действительных чисел, "бесконечно больших чисел" и "бесконечно малых чисел". Полное логическое обоснование этого подхода довольно сложно и опирается на конструкции математической логики. Цель книги - не давая полного обоснования, а лишь постулируя необходимые факты, объяснить на доступных примерах, в чем суть нестандартного анализа.



Кл.слова:
математика -- аналіз -- логіка

   Тип видання:   наукове видання   
2.

Рассел, Б.
Введение в математическую философию. Избранные работы [Електронний ресурс] : пер. с англ. / Б. Рассел. - Новосибирск : Сибирское университетское издательство, 2007. - 264 с.

Рубрики:

Географічні рубрики:
  
  

  Повний текст доступний у читальних залах НБУВ


Настоящий том включает труды Бертрана Рассела, посвященные логике и основаниям математики. "Математическая логика, основанная на теории типов" - самая известная и наиболее цитируемая работа Рассела в области математической логики. Во "Введении в математическую философию" Бертран Рассел в популярной форме пересказывает Principia Mathematica (базовый труд Рассела, написанный совместно с А.Уайтхедом), особо акцентируя внимание на философской значимости достигнутых результатов. В этой работе также нашли отражение взгляды Рассела на природу математики.



Кл.слова:
математика -- філософія -- логіка

   Тип видання:   наукове видання   
3.

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
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського