![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>U=Ю4 в$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
| | Тип видання: наукове видання | | |
1. |
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
| | Тип видання: підручник | | |
2. |
Войтов, А. Г. Самоучитель мышления (диалектической логики) [Електронний ресурс] / А. Г. Войтов. - М. : Маркетинг, 1999. - 411 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Интеллигентность, теоретичность, интеллектуальность человека предполагают его способность мыслить. Ее призваны обеспечить логика и диалектика. Однако учебные пособия по этим наукам не достаточны для развития способности логически мыслить. Используя их, следует найти новые возможности для развития умения применять логику и диалектику в единстве, в качестве непосредственного, прямого, общенаучного, сознательного, практического, наблюдаемого метода мышления (иначе как диалектическую логику). Гипотезой решения этой проблемы является дидактическая система технология диалектического мышления (ТДМ). Самоучитель мышления - ядро ТДМ. Первая его версия депонирована в ИНИОНе академии наук в 1990 году. Он ориентирован на всех, кто стремится овладеть могуществом мышления как орудием жизни, в том числе пытающихся это сделать с помощью изучения логики, диалектики, методологии науки и т. п. В нем исключена полемика. Подготовленная в качестве самостоятельной работа «Философское (интеллектуальное) основание теоретической науки» дает постановку проблемы ТДМ, в том числе самоучителя.
Кл.слова: логіка -- діалектика
| | Тип видання: наукове видання | | |
3. |
Герасимова, И. А. Формальная грамматика и интенсиональная логика [Електронний ресурс] / И. А. Герасимова. - М. : ИФ РАН, 2000. - 156 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
Стратегия, предложенная американским логиком Ричардом Монтегю, используется для построения формальных грамматик русского языка. Дается систематическое изложение метода. Строится полимодальная интенсиональная логика, приспособленная для представления модальных и эпистемических контекстов русского языка. Дан анализ проблемы семантического статуса музыкального события. Книга предназначается для логиков, лингвистов, математиков, программистов.
Кл.слова: мова -- граматика -- семантика
| | Тип видання: монографія | | |
4. |
Логика и методология системных исследований [Електронний ресурс]. - К. ; О. : Вища школа, 1977. - 256 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В монографии освещаются вопросы параметрической теории систем. Определяется понятие «система», рассматривается ряд общесистемных свойств (параметров) на основе взаимосвязи категорий материалистической диалектики — «вещь», «свойство», «отношение». Выясняется отношение между теорией систем и философией. Рассматривается практическое приложение теории систем в социологии, биологии, физике, геологии и лингвистике.
Кл.слова: системний підхід -- система
| | Тип видання: наукове видання | | |
5. |
Рассел, Б. Введение в математическую философию. Избранные работы [Електронний ресурс] : пер. с англ. / Б. Рассел. - Новосибирск : Сибирское университетское издательство, 2007. - 264 с.
Рубрики:
Географічні рубрики:
Повний текст доступний у читальних залах НБУВ
Настоящий том включает труды Бертрана Рассела, посвященные логике и основаниям математики. "Математическая логика, основанная на теории типов" - самая известная и наиболее цитируемая работа Рассела в области математической логики. Во "Введении в математическую философию" Бертран Рассел в популярной форме пересказывает Principia Mathematica (базовый труд Рассела, написанный совместно с А.Уайтхедом), особо акцентируя внимание на философской значимости достигнутых результатов. В этой работе также нашли отражение взгляды Рассела на природу математики.
Кл.слова: математика -- філософія -- логіка
| | Тип видання: науково-популярне видання | | |
6. |
Успенский, Владимир Андреевич. Что такое нестандартный анализ? [Електронний ресурс] / В. А. Успенский. - М. : Наука, 1987. - 129 с.
Рубрики:
Повний текст доступний у читальних залах НБУВ
В последние два десятилетия возник так называемый нестандартный анализ. Предлагаемый им подход к обоснованию математического анализа базируется на допущении существования, помимо обычных действительных чисел, "бесконечно больших чисел" и "бесконечно малых чисел". Полное логическое обоснование этого подхода довольно сложно и опирается на конструкции математической логики. Цель книги - не давая полного обоснования, а лишь постулируя необходимые факты, объяснить на доступных примерах, в чем суть нестандартного анализа.
Кл.слова: математика -- аналіз -- логіка
| | | | | |
|
|