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



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

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

ГЛАВА 6. ЛОГІКА І КІБЕРНЕТИКА § 26. Кібернетика, логіка й теорія кінцевих автоматів

Слово «кібернетика» (грец. kybernetes — рульовий, штурман, керманич) було запропоноване американським вченим Норбертом Вінером (1894— 1964) як найбільш придатне для вираження ідеї всеохоплюючого мистецтва регулювання й управління, що застосовується у найрізноманітніших галузях. Значного поширення це слово набуло після виходу у світ у 1948 р. книги Вінера «Кібернетика. Управління і зв'язок у тварині і машині». Один із перших теоретиків кібернетики У. Р. Ешбі якось дуже точно зауважив, що кібернетика стосується реальних машин приблизно так само, як геометрія — фізичних об'єктів. За його словами, сучасна геометрія не обмежується уявленнями про тривимірні земні тіла і їх відображенням у двовимірному просторі креслень. Вона вільно розглядає різноманітність форм і просторів. Ця різноманітність набагато перевершує можливості наочного мислення людини. Те саме можна сказати й про кібернетику, предметом якої є область «усіх можливих машин», а не тільки тих, що доступні сучасній промисловості. Тому кібернетики не бояться критиків, які вказують на те, що деякі з кібернетичних ідей нині не мають реального фізичного смислу. Спростовуючи таку критику, кібернетики посилаються на теорію інформації, яка характеризується тим, що завжди має справу з певними можливостями.

За книгою Вінера, кібернетика містить такі теорії:

інформації;

негативного зворотного зв'язку;

автоматів;

складних машин та ін.

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

Кібернетиків логіка зацікавила передусім у зв'язку з так званими кінцевими автоматами, що є в певному розумінні продуктами розвитку логічних систем.

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

Між іншим, методи теорії автоматів використовуються для доведення теорем, пов'язаних з основами математики.

Розглянемо найпростіший з дискретних автоматів, вхідні й вихідні величини якого позначаються двома символами — «0» і «1». Перетворення таким автоматом вхідних величин у вихідні еквівалентні перетворенням, що здійснюються в логіці, тому їх можна назвати логічними автоматами, а функції, що описують такі перетворення, — логічними функціями.

З елементарних логічних функцій будуються складні функції, котрі описують властивості різних логічних автоматів.

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

ЗМІСТ

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