
- •2.2.1. Питання для самоконтролю............................................
- •2.3.1. Питання для самоконтролю............................................
- •І. Передмова
- •Іі. Формалізовані мови та мови логічних систем
- •2.1. Мова логіки класів (множин)
- •2.1.1. Питання для самоконтролю
- •2.1.3. Підсумкові вправи та завдання
- •2.1.4. Тест
- •2.1.4. Література
- •2.2. Мова класичної логіки висловлень
- •2.2.1. Питання для самоконтролю
- •2.2.2. Підсумкові вправи та завдання
- •2.2.3. Тест
- •2.2.4. Література
- •2.3. Мова класичної логіки предикатів
- •Алфавіт мови класичної логіки предикатів:
- •2.3.1. Питання для самоконтролю
- •2.3.2. Підсумкові вправи та завдання
- •2.3.3. Тест
- •2.3.4. Література
2.3.4. Література
Бочаров в.А., Маркин В.И. Основы логики. – М., 2000. – С. 78-93.
Войшилло Е.К., Дегтерев М.Г. Логика. – М.: Владос, 1998. – С. 132-136.
Гильберт Д., Аккерман В. Основы теоретической логики. – М.: ИЛ, 1947.
Гильберт Д., Бернайс П. Основание математики. Логические исчисления и формализация математики: Пер. с польск. – М.: Наука, 1979. – 558 с.
Гносеологические проблемы формализации. – Мн., 1969.
Горский Д.П. Формальная логика и язык //Философские вопросы современной формальной логики. – М., 1962.
Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1979.
Жоль К.К. Вступ до сучасної логіки. – К.: Вища шк., 1992. – С. 62-75.
Зегет В. Элементарная логика. – М.: Высш. шк., 1985. – С. 77-84; С. 249-254.
Ивлев Ю.В. Логика. – М.: Высш. шк., 1976. – С. 84-92; 98-121.
Ішмуратов А.Т. Вступ до філософської логіки. – К.: Абрис, 1997. – С. 50-63.
Калужнин Л.А. Что такое математическая логика? – М.: Наука, 1964. – С. 71-100.
Карри Х. Основания математической логики. – М.: Мир, 1969. – 567 с.
Клаус Г. Введение в формальную логику. – М.: ИЛ, 1960.
Клини С. Математическая логика. – М.: Мир, 1973. – С. 93-104.
Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: МГУ, 1982. – С. 49-51.
Конверський А.Є. Логіка. – К., 2000. – С. 368-372.
Кротов Е.А. Логическая форма суждений //Логика и методология научного познания. – М.: МГУ, 1974. – С. 21-30.
Лихин А.Ф. Логический анализ языка в роботах К.Айдукевича 30-х годов //Логика и методология познания. – М.: МГУ, 1974. – С. 30-43.
Математическая логика. – Мн., 1994.
Маркин В.И. Силлогистическая теория в современной логике. – М., 1991.
Мельников В.Н. Логические задачи. – К.: Одеса, 1989. – С. 127-153.
Мендельсон Э. Введение в математическую логику. – М.: Наука, 1976. – С. 19-24.
Новиков П.С. Элементы математической логики. – М.: Наука, 1973. – С. 37-41; 49-50; 51-56.
Проблемы формализации семантики язика. – М., 1964.
Ревзин И.И. Модели язика. – М., 1962.
Светлов В.А. Практическая логика. – СПб.: МиМ, 1997. – С. 368-378.
Справочная книга по математической логике: Пер. с англ.. – Ч. 1. Теория моделей. – М.: Наука, 1982. – С. 13-15.
Тарский А. Введение в логику и методологію дедуктивных наук. – М.: ИЛ, 1948. – С. 185-289.
Тофтул М.Г. Логіка . – К.: Академія, 1999. – С. 95-100.
Успенский В.А. и др. Вводный курс математической логики. – М.: МГУ, 1991. – 136 с.
Уемов А.И. Основы практической логики с задачами и упражнениями. – Одесса, 1997. – С. 202-203.
Формальная логика. – Л.: МГУ, 1977. – С. 330-334.
Фрейденталь Х. Язык логики: Пер. с. Англ. – М.: Наука, 1969. – 135.
Хоменко І.В. Логіка – юристам. – К.: Четверта хвиля, 1997. – С. 42-113.
Хоменко В.І. Логіка в задачах. – К.: Четверта хвиля, 1998. – С. 47-53.
Хоменко І.В. Логіка. Практикум. – К.: Хрінком Інтер, 2000. – С. 38-43.
Хоменко І.В. Логіка. – К.: Абрис, 2004. – С.95-99.
1 * лат. Cwantum - кількість