Принципы моделирования. Теоретико-множественные средства моделирования. Средства моделирования логики высказываний. Средства моделирования логики предикатов. Логика научного познания. Доказательство и дедуктивный вывод. Виды индукции. Аналогия.
Аннотация к работе
Каким требованиям должно удовлетворять определение через род и видовое отличие. Чем отличается деление понятий от мысленного расчленения предмета на части? Что значит обобщить или ограничить понятия. Что такое суждение как форма мысли и чем оно отличается от понятия. На какие типы разделяются суждения по количеству и качеству.
Список литературы
1. Вайнтроб А.Ю., Ганнушкина С.А. Элементы теории множеств. М.: РГГУ, 1992.
2. Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001.
3. Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.
4. Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М, 2000
5. Уемов А.И. Логические основы метода моделирования. М.: Мысль, 1971.