С чем идет современная логика в XXI век?
Категория реферата: Рефераты по философии
Теги реферата: шпаргалки по экономическому, торговля реферат
Добавил(а) на сайт: Votjakov.
Предыдущая страница реферата | 1 2 3 4
Пуанкаре А. О науке. - М.: Наука, 1983.
Арнольд В.И. Избранное - 60. М.: Фазис, 1997.
Блехман И.И., Мышкис А.Д., Пановко Я.Г. Прикладная математика: предмет, логика, особенности подходов. Киев: Наукова думка, 1976.
Клайн М. Математика: Утрата определенности. М.: Мир, 1984.
Reichenbach H. Experience and Prediction. Chicago, 1961. P.5-6.
Зенкин А.А. Принцип разделения времени и анализ одного класса квазифинитных правдоподобных рассуждений (на примере теоремы Г.Кантора о несчетности).// Доклады РАН, раздел "Математика", том 356, No. 6, 733-735 (1997).
Зенкин А.А. Ошибка Георга Кантора // Вопросы философии. 2000. ¦ 2. С. 165-168.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.
Gцdel K. Ьber formal unentscheidbare Sдtze der Principia Mathematica und verwandter Systeme. Monatsh. Math. Phys., XXXVIII (1931), 173-198.
Бурбаки Н. Очерки по истории математики. М.: Издательство Иностранной литературы, 1963.
von Neumann J. Eine Axiomatisierung der Mengenlehre, J. Crelle, CLIV (1925), p. 219-240.
Кулик Б.А. Моделирование рассуждений на основе законов алгебры множеств // Труды V национальной конференции по искусственному интеллекту. Казань, 7-12 октября 1996 г. Т.1. С. 58-61.
Кулик Б.А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта, 1996, No 3, с. 7-92.
Кулик Б.А. Интерпретируемые системы логического вывода. В кн. Международная конференция "Смирновские чтения" (тезисы докладов). Институт философии РАН, 1997, с. 54-55.
Кулик Б.А. Логические основы здравого смысла / Под редакцией Д.А. Поспелова. - СПб, Политехника, 1997. 131 с.
Кулик Б.А. Логика здравого смысла. - Здравый смысл, 1997, No 1(5), с. 44 - 48.
Кулик Б.А. Программа для моделирования и анализа естественных рассуждений. - Компьютерные инструменты в образовании, 1998, No 2, с. 55 - 63.
Кулик Б.А. Система логического вывода на логических графах // Современная логика: проблемы теории, истории и применения в науке. - Материалы V Общероссийской научной конференции. Санкт-Петербург, 18-20 июня 1998 г.С. 169 -171.
Кулик Б.А. Алгебраические основы естественных рассуждений: E-структуры - Материалы второй международной конференции "Логико-лингвистическое управление динамическими объектами (DOLLC'99)", Санкт-Петербург, 21-25 июня 1999 г., с. 29-40.
Кулик Б.А., Романов Л.Н. Алгебраический подход к моделированию и анализу естественных рассуждений на основе E-структур // Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99). - Труды Международной конференции, Переславль-Залесский, 6-9 декабря 1999 г. М.: Наука. Физматлит, 1999. С. 50-54.
Карпенко А.С. Логика: Феномены XX века // Современная логика: проблемы теории, истории и применения в науке. - Материалы VI Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2000 г.С. 461 - 465.
Кэрролл Л. История с узелками. - М.: Мир, 1973.
Стяжкин Н. И. Формирование математической логики. М.: Наука, 1967.
Скачали данный реферат: Епистимия, Нотович, Ikashev, Божко, Revmira, Dagin, Nikishin.
Последние просмотренные рефераты на тему: доклад на тему животные, реферати українською, рим реферат, дипломная работа проект.
Предыдущая страница реферата | 1 2 3 4