Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Подходы к построению выводов.

Аналитические способы представления ФАЛ. | Интерпретация алгебры логики в исчисление высказываний. | Интерпретация алгебры логики в теории множеств. | Интерпретация алгебры логики в теории конечных автоматов. | Анализ простейших рассуждений. | Методы доказательств. | Предикаты. | Кванторы. | Формулы исчесления предикатов. | Операции логики высказываний над предикатами. |


Читайте также:
  1. АЛЬТЕРНАТИВНЫЕ ПОДХОДЫ К АНАЛИЗУ ПОЛНЫХ ТАБЛИЦ
  2. Альтернативные подходы к изменениям в области менеджмента
  3. Глава 2. Антициклическая политика: концептуальные подходы к методике и инструментарию.
  4. Доктора часто не могут сделать очевидных выводов.
  5. ЗАТРАТНЫЕ ПОДХОДЫ
  6. Мотивация. Основные идеи и подходы
  7. Научные подходы к менеджменту

1 подход – интуитивный (интуиция – большой опыт в решении данных задач, но другие говорят, что это есть озарение, т.е. умение увидеть решение без промежуточных результатов).

например: точка – след карандаша, линия – след карандаша.

 

2 подход – содержательно (математический) – изучая объекты пытаемся доказать свойства.

например: точка – не имеет размеров, линия не имеет размеров (толщины и длины).

Через 2 точки можно провести прямую. Сами того не замечая мы приводим их к математическим выкладкам.

 

3 формализованный подход.

Применение разработанных методов из определенной области математики.

После формулировки задачи, не указав ограничение (2 подход) и не пройдя интуитивный подход, нельзя приступить к 3 подходу.

Пример:

φ1 1. если a = b, то α = β

φ2 2. если α = β, то a = b

=> ABC – равнобедренный.

 

На 1 уровне мы запасаемся знаниями, аксиомами. A={∆,∟,линия}

 
 


Т(А)

Т(А), φ1, φ2, |– “∆ - равнобедренный”.

φ0

 

 


Дата добавления: 2015-09-01; просмотров: 29 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Равносильные формулы в исчислении предикатов.| Минимизация булевых функций.

mybiblioteka.su - 2015-2024 год. (0.005 сек.)