Навігація
Головна
ПОСЛУГИ
Авторизація/Реєстрація
Реклама на сайті
 
Головна arrow Логіка arrow Логіка
Наступна >

Авторизуйтеся для перегляду анотації та можливості завантаження одним файлом


Роль та значення логіки у підготовці фахівцяМісце логіки серед інших дисциплінГоловні завдання, що стоять перед студентом у процесі вивчення логікиІсторія логікиВиникнення логіки Розвиток логіки Предмет і статус логікиФормалізація - метод логіки Логічний аналіз тверджень Логічний аналіз складних твердженьЛЕКЦІЯ 1. Логічні терміни в складних твердженнях Прості та складні твердження Зміст логічних термінівЛЕКЦІЯ 2. Виявлення несумісності знань Види несумісності знань Суперечність між твердженнями текстуІнструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Суперечливі складні твердженняІнструменти. Алгоритм виявлення суперечності у послідовності пов'язаних тверджень Закони логікиЛЕКЦІЯ 3. Виведення знань Виведення знань та його види. Алгоритм виявлення правил виведенняІнструменти. Алгоритм виявлення можливості формулювання правила виведення (у разі, якщо одне твердження просте, а інше - складне)Інструменти. Алгоритм виявлення можливості формулювання правила виведення (у разі, якщо засновки довільної складності) Найпростіші правила виведення Правило для диз'юнкції Правило для антикон'юнкції Правило для сильної диз'юнкції Правило для імплікації Правило для реплікації Правило для еквіваленціїПравило транзитивності імплікаціїПравило контрапозиції Відношення логічного випливання та правила виведення Логічний аналіз простих твердженьЛЕКЦІЯ 4. Елементи та структура простих тверджень Імена. їхні види та властивості Відношення між іменами за обсягом (логічні терміни у простому твердженні)Інструменти. Алгоритм визначення відношення між обсягами імен 4 (відношення між множинами) Структура простих твердженьЛЕКЦІЯ 5. Види простих тверджень. Безпосередні виводи Види простих тверджень Безпосередні виводиІнструменти. Алгоритм виявлення висновку в разі одного засновку шляхом побудови діаграми Ейлера:Інструменти. Алгоритм формулювання правила виводуЛЕКЦІЯ 6. Опосередковані виводи. Силогізми Силогістичні виводи на підставі традиційної силогістики Графічні методи виявлення правильності силогізмівІнструменти. Алгоритм виявлення правильності силогізму:Інструменти. Алгоритм виявлення правильності силогізму методом Джона Венна Табличний метод виконання силогістичних виводів Загальні умови істинності висновків Логічний аналіз систематизаціїЛЕКЦІЯ 7. Методи систематизації Загальні уявлення про систематизацію Класифікування як формування ієрархії відношень обсягів імен Створення класифікаторів Імовірнісні твердженняЛЕКЦІЯ 8. Методи формування припущень Припущення як вид тверджень. Види припущень Припущення як множина дедуктивних висновків Методи формування недедуктивних припущень Метод перенесення Метод аналогії (подібності) Метод абдукції Методи індукції Комбіновані методи формування припущень Логічний аналіз означень і спонуканьЛЕКЦІЯ 9. Означення і спонукання як види завершеної думки Логіка означень Логічний аналіз спонукань Логіка норм. Види і структура норм. Правила міркувань у логіці норм Логіка питань
 
Якщо Ви помітили помилку в тексті позначте слово та натисніть Shift + Enter
Наступна >
 
Дисципліни
Агропромисловість
Банківська справа
БЖД
Бухоблік та Аудит
Географія
Документознавство
Екологія
Економіка
Етика та Естетика
Журналістика
Інвестування
Інформатика
Історія
Культурологія
Література
Логіка
Логістика
Маркетинг
Медицина
Менеджмент
Нерухомість
Педагогіка
Політологія
Політекономія
Право
Природознавство
Психологія
Релігієзнавство
Риторика
РПС
Соціологія
Статистика
Страхова справа
Техніка
Товарознавство
Туризм
Філософія
Фінанси