Вхід в УЧАН Анонімний форум з обміну зображеннями і жартами.



Додати книгу на сайт:

Скачати одним файлом. Книга: Вступ до сучасної логіки / Жоль

Вступ до сучасної логіки / Жоль

В навчальному посібнику викладено основні поняття й методи сучасної логіки, яку часто називають математичною логікою. Проте орієнтація на математику та її технічні застосування аж ніяк не вичерпує всієї сфери логічного пошуку. Логічний інструментарій ефективно використовується в гуманітарних науках — від лінгвістики до юриспруденції й етики. Оволодіти цим інструментарієм не так уже й просто: потрібна напружена й систематична робота, а в результаті матимемо висококваліфікованого спеціаліста, професіонала, який з успіхом працюватиме в будь-якій сучасній галузі, наприклад у галузі програмного забезпечення комп'ютерів. Немає потреби надто довго говорити про користь вивчення логіки, вона незаперечна.

Сучасні видання, присвячені логіці, поділяються на два потоки — популярні книги й навчальна та наукова література. Так склалося, що логіка в популярному її викладі лише вабить у напіввідчинені двері та інтригує, не озброюючи при цьому необхідним мінімумом знань для того, щоб упевнено ввійти до Храму Науки. Навчальна ж література здебільшого суха й технічна. Студент мусить іноді просто заучувати пропонований матеріал, що, звичайно, не викликає симпатії до науки, котра опановується. За такої ситуації зроблено спробу створити посібник, у якому методиці викладу навчального матеріалу надано популярної форми.

У посібнику подано основні розділи логіки й напрями логічних досліджень. Перші дві глави мають допомогти студентові самостійно розібратися в тому, чим займаються сучасні логіки та яке практичне значення мають їхні теоретичні дослідження. Третя й четверта глави знайомлять з основами логіки, знання яких є обов'язковою умовою для подальшого просування лабіринтами цієї складної науки. П'ята глава демонструє в загальних рисах найцікавіші й найпрогресивніші шляхи розвитку сучасної логічної думки, /нарешті, завершальна, шоста, глава виводить студента, який вже ознайомився з логічною азбукою, на актуальну проблематику, що хвилює як практиків, так і теоретиків. Мається на увазі предметна ділянка кібернетики й таке важливе питання, як вивчення проблем «штучного інтелекту» (переклад з однієї природної мови на іншу, створення технічних експертних систем тощо).

Книга: Вступ до сучасної логіки / Жоль

ЗМІСТ

1.	Вступ до сучасної логіки / Жоль
2.	ГЛАВА 1. ЛОГІКА І ПРИЙНЯТТЯ РІШЕННЯ § 1. Технічні системи та їхня роль у підвищенні ефективності рішень, що приймаються
3.	§ 2. Алгебра контактних схем
4.	§ 3. Теорія множин
5.	ГЛАВА 2. ВІД ЛОГІКИ ДО МЕТАЛОГІКИ § 4. Аксіоматика в логіці й математиці
6.	§ 5. Проблеми теорії множин
7.	§ 6. Логічні дослідження Д. Гільберта
8.	§ 7. Поглиблене розуміння аксіоматичного методу
9.	ГЛАВА 3. ЛОГІКА ВИСЛОВЛЕНЬ, АБО ПРОПОЗИЦІЙНА ЛОГІКА § 8. Формалізовані мови науки й формальна логіка.
10.	§ 9. Змінні й постійні в мові науки
11.	§ 10. Закони логіки, таблиці істинності та логічні сполучники
12.	§ 11. Трактування релейно-контактних схем у термінах логіки висловлень
13.	§ 12. Індуктивні й дедуктивні умовиводи
14.	ГЛАВА 4. ЛОГІКА ПРЕДИКАТІВ, АБО ПРОПОЗИЦІЙНИХ ФУНКЦІЙ § 13. Відмітні риси логіки предикатів
15.	§ 14. Дескрипція
16.	§ 15. Суть проблеми існування в логіці
17.	§ 16. Квантор існування
18.	§ 17. Значення виразу «бути поняттям»
19.	§ 18. Квантори й змінні: істотні уточнення
20.	ГЛАВА 5. НОВІ ЛОГІЧНІ ІДЕЇ І СИСТЕМИ § 20. Розвиток ідей математичного конструктивізму
21.	§ 21. Конструктивна логіка
22.	§ 22. Ця дивна нечітка логіка
23.	§ 23. Проблеми модальної логіки
24.	§ 24. З історії терміна «семантика»
25.	§ 25. Логічна семантика: проблеми й поняття
26.	ГЛАВА 6. ЛОГІКА І КІБЕРНЕТИКА § 26. Кібернетика, логіка й теорія кінцевих автоматів
27.	§ 27. «Машина Тьюрінга». Вплив математичної теорії зв'язку на логіко-семантичні дослідження
28.	§ 28. «Штучний інтелект» з погляду логіків

На попередню



Додати в закладки

  
Переклад Translate