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

нема опису редагування
(Створена сторінка: '''Логіка в інформатиці''' — це напрям досліджень та галузей знань, де логіка застосову...)
Мітка: перше редагування
 
'''Логіка в інформатиці''' &nbsp;— це напрям досліджень та галузей знань, де [[логіка]] застосовується в [[Інформатика|інформатиці]] та [[Штучний інтелект|штучному інтелекті]]. ЛогікаВикористання логіки дуже ефективнаефективне в цих областях<ref>''Halpern J.Y., Harper R., Immerman N., Kolaitis Ph.G., Vardi M.Y., and Vianu V.'' [http://www.cs.cmu.edu/~rwh/papers/unreasonable/basl.pdf On the unususal effectiveness of logic in computer science. &nbsp;— January, 2001].</ref>.
 
== Область застосування ==