UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75855
останнє поновлення: 2016-12-09
за 7 днів додано 17

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваЛогіко-дедуктивне обґрунтування програмування (реферат)
АвторPetya
РозділЛогіка, формальна логіка, юридична логіка
ФорматWord Doc
Тип документуРеферат
Продивилось2909
Скачало681
Опис
ЗАКАЧКА
Замовити оригінальну роботу

Реферат на тему:

 

Логіко-дедуктивне обґрунтування програмування

 

У міру нагромадження й ускладнення наукових знань виникла необхідність

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

елементами, розкриття їхніх основних принципів, понять, надання цим

знанням строгої науковості й визначеності.

 

У вирішенні цих питань необхідні системний аналіз і структурна побудова

наукового знання. Вперше в історії науки системно-структурний аналіз у

діяльності людського мислення і його кодування провів Аристотель. Він

сформулював закони правильного мислення – закони логіки – і вперше у

вигляді системи наукового знання побудував формальну логіку. До

Аристотеля існували окремі логічні фрагменти і положення, але не було

точної, стрункої системи логічної побудови. Сам Аристотель говорить про

це: "Що стосується вчення про умовиводи, то ми не знайшли нічого такого,

що було б сказано до нас, а мали самі створювати його з більшою затратою

часі та сил" [1, 593].

 

Формальна логіка стала теоретичною основою в побудові дедуктивних теорій

і її вищої форми – форми побудови аксіоматичних систем. Аксіоматичні

системи пройшли три етапи розвитку: конкретно змістовний, абстрактно

змістовний або напівформальний і формальний. Зразком першої

аксіоматичної системи є "Начала" Евкліда, механіка Ньютона, аналітична

механіка Лагранжа; абстрактно змістовну аксіоматику являє собою

аксіоматика арифметики Пеано; зразком третьої аксіоматичної системи є

аксіоматика математичної логіки, формальної арифметики, теорії

ймовірностей А.Н. Колмогорова. Усі ці види аксіоматичних систем

покликані до життя потребами наукового знання, що розвивається, а також

для розв'язання внутрішніх протиріч, що виникають у процесі розвитку

дедуктивних наук.

 

Конкретно змістовна аксіоматика будується на інтуїтивній основі.

Несуворий підхід існує і до принципів побудови дедуктивних наук

(несуперечності, повноти, незалежності), а також і до ідеї доказу. Але

ця перша аксіоматична система сприяла систематизації наукового знання,

являла собою цілісне, закінчене наукове знання. Аксіоматика Евкліда

очистила геометричну теорію від повторів, протиріч і представила всю

теоретичну систему в найбільш простій і доказовій формі. Але ця

аксіоматика має ряд недоліків: вона "схоплює" найпростіші відносини між

предметами і явищами об'єктивної дійсності, віднесена лише до одних

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

синтетичність. Основою цієї аксіоматичної системи є формальна логіка

Аристотеля.

 

З розвитком математики і теоретичного природознавства статична

аксіоматична система Евкліда перестала задовольняти подальші вимоги. З

уведенням змінної величини й відкриттям неевклідових геометрій

необхідною стала така логічна операція, яка виконувала б побудову

математичної теорії на абстрактно змістовній основі й мала б

інтерпретацію. Інтерпретації можуть бути різного роду і мати різний

зміст, але елементи аксіоматичної системи далекі від конкретної

змістовної основи і мають широкий абстрактний зміст. Так, при побудові

-----> Page:

0 [1] [2] [3] [4] [5] [6] [7] [8]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ