Содержание:


На главную
страницу

Что такое дедукция?

На персональную страницу

Курс лекций по логике и математике

Статья "С чем идет современная логика в XXI век?"

Книга "Феномен нового знания: постижение истины или сотворение мифа?"

Воспоминания Л.П. Крайзмера

Статья И.А. Рябинина по истории ЛВА

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




© Б.А. Кулик, 2006

Дизайн:
Н. Клейменова, 2005

Курс лекций по логике и математике


1. Логика естественных рассуждений


Оглавление


    Часть 1 (ZIP-файл 300 Kb)
  1. Суждение
  2. Основные понятия алгебры множеств
  3. E-структуры: определение и основные свойства
  4. Графы и частично упорядоченные множества
  5. Анализ E-структур с помощью графов
  6. Коллизии в рассуждениях
  7. Инварианты E-структур

    Часть 2 (ZIP-файл 220 Kb)

  8. Экзистенциальные суждения
  9. Формирование и проверка гипотез
  10. Отрицания и антитезы в E-структурах
  11. Абдуктивный вывод
        Заключение
        Список литературы.

2. Введение в алгебру кортежей

    Оглавление

    Введение
  1. Декартово произведение множеств
  2. Декартовы произведения в многомерном пространстве
  3. Основные структуры алгебры кортежей
  4. Использование АК при решении логических задач
    Алгебра кортежей. Часть 1 (ZIP-файл 70 Kb)
  5. Алгебра кортежей как общая теория многоместных отношений
    Алгебра кортежей. Часть 2 (ZIP-файл 70 Kb)
        Литература

    Курс лекций подготовлен при активном участии студентки Санкт-Петербургского Государственного Университета Культуры и Искусств Полины Ивановой.
На персональную страницу
 
Хостинг от uCoz