Ресурсы Интернета

http://alice.stup.ac.ru/~dvn/logica/1.htm

Методические указания «Системы дедуктивного вывода и решение логических задач», подготовленные на кафедре «Вычислительная техника» Пензенского политехнического института. Содержание:

2. Решение логических задач на основе силлогистики Аристотеля.

3. Решение логических задач на основе исчисления высказываний.

4. Решение логических задач на основе логики предикатов.

5. Знания и их представления.

6. Основы функционирования экспертных систем.

fr_logic.htm

Учебник по «Дискретной математике». В данном учебнике содержится теоретический материал по разделам: алгебраические системы, графы, булевы функции, математическая логика. В разделе «Математическая логика» рассмотрены: Аксиоматический метод. Логика высказываний. Логика предикатов.

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

http://shop.ipo.spb.ru/internet-school/a/25-1.htm

Статья в Интернет-журнале «Дистанционное образование» Дмитриева М.В., Павлова М.В. (кафедра информатики СПбГУ) «Система автоматизации процесса решения задач. Часть 1. Элементы математической логики». Раздел Компьютерные инструменты в образовании. В статье приводятся
основные определения и обозначения, рассматриваются теоремы о логическом следствии, исследуется конъюнктивно-нормальная форма и ее построение.

http://www.inftech.webservis.ru/it/ii/logic/ar2.html

Статья Б.А. Кулика «С чем идет современная логика в XXI век?». В статье рассмотрены следующие вопросы:

1. А нужна ли нам логика?

2. Какая философская парадигма лежит в основе современной логики?

3. Неестественная логика в основаниях математики

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

5. Возможные решения некоторых проблем

http://www.inftech.webservis.ru/it/ii/logic/ar1.html

Книга Б.А. Кулика «Логика естественных рассуждений». В книге на основе исследований автора предпринята попытка дать вторую жизнь Аристотелевской силлогистике на новом и сравнительно простом для усвоения математическом фундаменте. Это позволяет существенно расширить ее аналитические возможности и область применения. С помощью излагаемого подхода облегчается вывод следствий из произвольного множества посылок, выраженных на близком к естественному языке, находятся ошибки и неопределенности в рассуждениях, проверяются и формируются корректные гипотезы, анализируются известные парадоксы и даже изобретаются новые. Излагаемый подход доступен для широкого круга читателей.

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

http://ntl.narod.ru/logic/index.html

Сайт «Логика для всех». Содержатся учебные материалы по логике высказываний: основные определения, логические связки и таблицы истинности, формулы и законы логики высказываний. Рассматриваются задачи на применение формул и законов логики высказываний, упражнения по логике высказываний. На сайте уделяется большое внимание разнообразнейшим логическим головоломкам, задачам, тестам (задачи и головоломки из журнала «Наука и жизнь», «латинские квадраты», дитлоиды, логи-намбер, файндворды, «черточки», задача с «валентинками», головоломная смесь, задачи на поиск соответствий, cамоссылающиeся (self-reference) тесты, детективные истории-головоломки, головоломки из книг). Приведена программа по курсу логики, тест GRE (Graduate Record Examinations). Организуются турниры, матчи, соревнования, первенства...

http://www.humanities.edu.ru/db/msg/1420

Ксенофонтов В.Н. Курс лекций: "Логика". Содержание:

1. Предмет и значение логики .

2. Понятие.

7. Доказательство и опровержение.

Приведены программа курса, методические рекомендации для студентов-заочников, экзаменационные вопросы по логике, литература.

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

http://ruslogic.narod.ru/3.htm

Лобанов В. И. Практикум по логике суждений.

Прекрасным примером применения логики суждений для доказательства законов в различных областях науки являются задачи, предложенные С. Л. Катречко. Речь идёт о таких науках как математика, физика, химия, грамматика, богословие и др. Сам С. Л. Катречко традиционно решает эти задачи на основе рассуждений. Однако алгоритмы, разработанные автором, существенно упрощают выводы.

http://ruslogic.narod.ru/5.htm

Лобанов В. И. Практикум по силлогистике

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

http://www.philosophy.ru/edu/ref/rudnev/b162.htm

«Словарь культуры ХХ в.». В.Руднев. Статья «Математическая логика».

«Словарь культуры ХХ века» (Издательство «Аграф») предназначен для широкого круга читателей – от школьника, готовящегося к поступлению в гуманитарный вуз, до студентов и научных сотрудников, которые найдут в книге источниковедческий и библиографический материал.

Предыдущая | Главная | Глава 4 | Следующая