Відмінності між версіями «Логіка в інформатиці»

Виправлено джерел: 1; позначено як недійсні: 0. #IABot (v2.0beta14)
(Виправлено джерел: 1; позначено як недійсні: 0. #IABot (v2.0beta14))
* логіка для опису просторового положення і переміщення;
 
* логіка в інформаційних технологіях. Наприклад, [[реляційна модель даних]], [[реляційні СКБД]], [[реляційна алгебра]], реляційне числення<ref>''Codd E. F.'' [http://www.informatik.uni-trier.de/~ley/db/labs/ibm/RJ987.html Relational Completeness of Data Base Sublanguages.] {{Webarchive|url=https://web.archive.org/web/20080518042824/http://www.informatik.uni-trier.de/~ley/db/labs/ibm/RJ987.html |date=18 травень 2008 }} 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.]&nbsp;— ICFP 2000</ref>;
365 611

редагувань