Описание: Персональный сайт на портале магистров ДонНТУ, 2009 г.

Руководитель: Ковалев С. А.

Описание: Персональный сайт на портале магистров ДонНТУ, 2002 г.

Руководитель: к. т. н., доц. Федяев О. И.

Описание: Персональный сайт на портале магистров ДонНТУ, 2003 год

Руководитель: д. т. н., проф. Каргин А. А.

Описание: Персональный сайт на портале магистров ДонНТУ, 2013 год.

Руководитель: д. т. н., доц. Шатохина Н. К.

Описание: Персональный сайт на портале магистров ДонНТУ, 2014 год.

Руководитель: к. ф‑м. н., доц. Пряничникова Е. А.

Авторы: Осташев В. В.

Описание: В рамках данной работы определяется сложная система как способность частей объединяться в различные конфигурации, проявляя при этом не только коллективные свойства отдельных частей, но и свойства системы как целого.

Авторы: Джон фон Нейман

Описание: Это даже не книга, а 5 лекций написанных знаменитым математиком и конструктором одного из первых компьютеров – Джоном фон Нейманом — для своего друга Ричарда Пирса. Один из лучших трудов по вероятностной логике.

Авторы: Витяев Е. Е., Перловский Л. И., Ковалерчук Б. Я., Сперанский С. О.

Описание: Одним из авторов статьи (Л. И. Перловским) разработан оригинальный подход к моделированию мышления, основанный на теории нейронных моделирующих полей и динамической логике. Этот подход основан на детальном анализе проблем моделирования мышления в искусственном интеллекте – недостаточности формальной логики и проблеме комбинаторной сложности.

Авторы: A. Darwiche.

Описание: В этой работе ставится следующая цель: использовать сети Байеса для решения ряда проблем в составлении умозаключений, возникающих в различных ситуациях.

Авторы: Милль Джон Стюарт

Описание: Книга выдающегося английского мыслителя Джона Стюарта Милля (1806–1873) является одним из известнейших классических произведений философии. В этой работе, впервые вышедшей в свет в середине XIX века, рассматриваются проблемы, решение которых актуально и в наше время. Таковыми являются логико‑семиотический анализ естественных языков, развитие индуктивных рассуждений, применение логики для аргументированного решения задач гуманитарных и социальных наук.

Авторы: Беркли Э.

Описание: Общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления. От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их структуру и программирование.

Авторы: Демин А. В., Витяев Е. Е.

Описание: Задача фуражирования рассматривается с формированием подцелей и без такового. Проводится экспериментальное сравнение работы логического анимата с известными системами адаптивного поведения, основанными на обучении с подкреплением (Reinforcement Learning).

Авторы: Joseph Y. Halpern

Описание: В статье приводится анализ вероятностной логики первого порядка. Разбираются некоторые примеры.

Авторы: Бернштейн С. Н.

Описание: Курс теории вероятностей Бернштейна по отзывам весьма многих специалистов является выдающимся произведением мировой теоретико‑вероятностной литературы. Этот курс написан Сергеем Натановичем Бернштейном на основе его собственной аксиоматики (первое аксиоматическое построение теории вероятностей было выполнено Бернштейном еще в 1917 г.). Курс Бернштейна содержит целый ряд оригинальных исследований автора, большое число весьма интересных задач, и думается, что он до сих пор не утратил своего значения и может быть полезен всем, кто интересуется теорией вероятностей.

Авторы: Кайберг Г.

Описание: Главная цель этой книги — ввести читателя в широкий спектр философских исследований понятия вероятности и индукции, представленных в современной философской, математической и статистической литературе.

Авторы: Аляев Ю. А., Тюрин С. Ф.

Описание: Рассматриваются основные темы дискретной математики и математической логики: теория множеств, элементы комбинаторики, теория графов, теория переключательных функций и автоматов, теория кодирования, формальная логика, логические исчисления, формальные теории и теория алгоритмов, элементы теории нечетких множеств.

Авторы: Босс В.

Описание: Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта — вот рассматриваемый круг вопросов.

Авторы: Босс В.

Описание: Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии Р‑ и NP‑задач. В резонанс с проблемой Р против NP входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, целочисленное программирование, вероятностные методы, квантовые вычисления, алгоритмы Хачияна и Кармаркара для линейного программирования, а также полиномиальный алгоритм AKS для выяснения простоты числа. Особое внимание уделяется геометрическому взгляду на проблему, который в привычном уже пейзаже обнаруживает свежие ракурсы.

Дано хорошее определение вероятностной логики.

Материал из Википедии с аргументацией, ссылками и списком литературы.

Авторы: A. V. Mikhailovich

Описание: В статье представлены некоторые замкнутые классы трехзначной логики, порождаемые симметричными функциями.

Авторы: Petr Hajek

Описание: В классичекой логике два предложения логически эквиваленты, когда они истинны в одних и тех же условиях.

Авторы: Tarek Sayed Ahmed

Описание: Доказываются некоторые интреполяционные теоремы для многозначной инфинитарной логики с квантификаторами.

Авторы: Tarek Sayed Ahmed

Описание: Доказываются некоторые интреполяционные теоремы для многозначной инфинитарной логики с квантификаторами.

Хорошее определение индуктивной логики.

Крупнейший архив научной и практической информации по всем направлениям компьютерных наук

Целью работы является построение подобного интерактивного приложения на простом примере.

Функциональное и логическое программирование для чайников.

Продолжение вышеприведенного источника.

Продолжение источника.

Продолжение источника.

В настоящей работе основное внимание уделено вычислениям с объектами, удельный вес и роль которых в данной области все более возрастает, превращаясь в доминирующую тенденцию.

Материал о логике, истории ее развития, ее видах с философской точки зрения.

Программирование анализируется практически, но с точки зрения расширенной логики и аналитической философии. Представлены некоторые соотношения между логикой и программированием.

Рассказывается, где в информатике применяется логика.

О логике от Торвальда Олафсена. Отличная подборка видеоматериалов на такие темы: что нам дает логика?, что такое логика?, четыре закона логики?, два метода построения вывода?, два способа познания мира?, ежедневные ошибки в логике?

Среда общения специалистов и студентов, изучающих естественные науки: математику, физику, химию, биологию.

На этом сайте вы сможете научиться решать математические задачи, освоить различные методы решений, закрепить пройденный материал. Для этого у нас есть все необходимое.

Люди, учите физику, логику и теорию вероятности – иначе вам кранты!

Небольшой тест на проверку наявности логического мышления.

Список самых известных физических парадоксов.

Список самых известных логических парадоксов, без учета математических.

Список самых известных математических и статистических парадоксов.

Данное пограничное исследование проводится в контексте длительных взаимоотношений между логическими и эмпирическими фактами — поскольку чистая нормативность никогда не была достаточно надежной установкой.

Об одиннадцати логиках, а также о цели и сути духовного учения гуманистический космизм.

О связи математической логики и языках программирования.