Целищев, В. В. Непротиворечивость и полнота как нормы дедуктивного мышления в свете теорем Геделя о неполноте арифметики [Текст] / В. В. Целищев // Философия науки. - 2005. - N 2. - С. . 33-52. - Библиогр. в примеч. - s, 2005, , rus. - RUMARS-pnha05_000_002_0033_1. - Зональная научная библиотека Ростовского государственного университета. - N 2(25). - С. 33-52. - pnha05_000_002_0033_1, 2, 33-52
Рубрики: Логика--Общие вопросы логики Кл.слова (ненормированные): арифметика -- дедуктивное мышление -- неполнота арифметики -- нормы дедуктивного мышления -- теоремы Геделя Аннотация: Исследование теорем Геделя о неполноте арифметики. Доп.точки доступа: Гедель Нет сведений об экземплярах (Источник в БД не найден) |
Еровенко, Валерий Александрович (доктор физико-математических наук). Проблема мотивации "юридической математики" в имплицитной достоверности образовательной стратегии правоведов [Текст] / Валерий Александрович Еровенко // Право и образование. - 2011. - N 3. - С. 76-83. - Библиогр.: с. 83 (5 назв. ) . - ISSN 1563-020X
Рубрики: Образование. Педагогика Высшее профессиональное образование--Россия--Беларусь Кл.слова (ненормированные): юридическая математика -- образовательные стратегии -- имплитационная достоверность -- юридическое образование -- гуманитарное образование -- образовательные программы -- логическое мышление -- математическое образование -- дедуктивное мышление -- познавательная деятельность Аннотация: Необходимость математической составляющей в университетском юридическом образовании. Доп.точки доступа: Белорусский государственный университет; БГУ Нет сведений об экземплярах (Источник в БД не найден) |
Барский, А. Б. (доктор технических наук; профессор). Моделирование индуктивного мышления с помощью языка логического вывода ПРОЛОГ [Текст] / А. Б. Барский // Информационные технологии. - 2016. - Т. 22, № 9. - С. 643-648. - Библиогр.: с. 648 (8 назв.) . - ISSN 1684-6400
Рубрики: Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): ПРОЛОГ -- дедуктивное мышление -- индуктивное мышление -- искусственный интеллект -- нейронные сети -- парадигмы искусственного интеллекта -- язык логического вывода Аннотация: В соответствии с двумя парадигмами искусственного интеллекта - эксперта и ученика - исследуются возможности построения моделей дедуктивного и индуктивного мышления человека на базе языка логического вывода ПРОЛОГ. Нет сведений об экземплярах (Источник в БД не найден) |