Логіка в інформатиці: відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 6:
* дослідження в логіці, викликані розвитком комп'ютерних наук. Наприклад, аплікативні обчислювальні системи, [[теорія обчислень]] і моделі обчислень;
* [[формальні методи]] і логіка міркування про поняття. Наприклад, [[семантична мережа]]<ref>''Roussopoulos N.D.'' [http://portal.acm.org/citation.cfm?id=908323&dl=ACM&coll=ACM&CFID=41048952&CFTOKEN=52848568 A semantic network model of data bases.]
* [[булева логіка]] і алгебра для розробки апаратного забезпечення комп'ютерів;
Рядок 12:
* рішення задач і [[структурне програмування]] для розробки прикладних програм і створення складних систем програмного забезпечення
* доказове програмування
* фундаментальні поняття і уявлення для комп'ютерних наук, які є природною областю для формальної логіки. Наприклад, [[семантика мов програмування]]<ref>''Scott D.S.'' The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp.~311-372.</ref>;
Рядок 18:
* логіка знань і припущень. Наприклад, [[штучний інтелект]];
* Мова
* логіка для опису просторового положення і переміщення;
Рядок 24:
* логіка в інформаційних технологіях. Наприклад, [[реляційна модель даних]], [[реляційні СКБД]], [[реляційна алгебра]], реляційне числення<ref>''Codd E. F.'' [http://www.informatik.uni-trier.de/~ley/db/labs/ibm/RJ987.html Relational Completeness of Data Base Sublanguages.] In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California, 1972.</ref>;
* логіка обчислень з об'єктами. Наприклад, комбінаторна логіка, суперкомбінатори<ref>''Peyton Jones S., Eber J.-M., Seward J.'' [http://research.microsoft.com/~simonpj/Papers/financial-contracts/contracts-icfp.htm Composing contracts: an adventure in financial engineering.]
* логіка для компілювання програмного коду та його оптимізації. Наприклад, [[категоріальна абстрактна машина]];
Рядок 30:
* логіка для еквівалентного перетворення об'єктів. Наприклад, [[лямбда-числення]];
* перевиклад логіки і математики в термінах, зрозумілих фахівцям в [[комп'ютерні науки | комп'ютерних науках]]<ref>''Asperti A, and Longo G.'' [ftp://ftp.di.ens.fr/pub/users/longo/CategTypesStructures/book.pdf Categories, Types and Structures. Category Theory for the working computer scientist.]
</ref>.
Рядок 51:
Найбільший ефект в освоєнні технологій доказового програмування спостерігається в олімпіадах з інформатики та програмування, де переможцями та призерами стають ті студенти, які освоїли техніку тестування програм на ЕОМ і складання алгоритмів і програм без помилок.
==
* [[Програмування]]
Рядок 60 ⟶ 59:
* [[Логічне програмування]]
* [[Інформатика]]
* [[Комбінаторна логіка]]
* [[Рішення задач]]
* [[Формальна верифікація|Доказове програмування]]
== Посилання ==
{{примітки}}
== Література ==
* ''Вольфенгаген В. Э.'' Логика. Конспект лекций: техника рассуждений. 2-е изд., дополн. и перераб.
{{logic-stub}}
|