Логика в информатике — это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте. Логика очень эффектна в этих областях[1].
Область применения
 | Список примеров в этом разделе не основывается на авторитетных источниках, посвящённых непосредственно предмету статьи или её раздела. |
Включаются следующие основные применения:
- исследования в логике, вызванные развитием компьютерных наук. Например, аппликативные вычислительные системы, теория вычислений и модели вычислений;
- формальные методы и логика рассуждения о понятиях. Например, семантическая сеть[2], семантическая паутина;
- булева логика и алгебра для разработки аппаратного обеспечения компьютеров;
- решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения
- доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;
- фундаментальные понятия и представления для компьютерных наук, которые являются естественной областью для формальной логики. Например, семантика языков программирования[3];
- логика знания и предположения. Например, искусственный интеллект;
- язык Пролог и логическое программирование для создания баз знаний и экспертных систем и исследований в сфере искусственного интеллекта;
- логика для описания пространственного положения и перемещения;
- логика в информационных технологиях. Например, реляционная модель данных, реляционные СУБД, реляционная алгебра, реляционное исчисление[4];
- логика вычислений с объектами. Например, комбинаторная логика, суперкомбинаторы[5];
- логика для компилирования программного кода и его оптимизации. Например, категориальная абстрактная машина;
- логика для эквивалентного преобразования объектов. Например, λ-исчисление;
- переизложение логики и математики в терминах, понятных специалистам в компьютерных науках[6].
Этот список продолжает пополняться.
См. также
Примечания
- ↑ Halpern J.Y., Harper R., Immerman N., Kolaitis Ph.G., Vardi M.Y., and Vianu V. On the unususal effectiveness of logic in computer science. — January, 2001.
- ↑ Roussopoulos N.D. A semantic network model of data bases. — TR No 104, Department of Computer Science, University of Toronto, 1976.
- ↑ 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.
- ↑ Codd E. F. Relational Completeness of Data Base Sublanguages. Архивная копия от 18 мая 2008 на Wayback Machine In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California, 1972.
- ↑ Peyton Jones S., Eber J.-M., Seward J. Composing contracts: an adventure in financial engineering. — ICFP 2000
- ↑ Asperti A, and Longo G. Categories, Types and Structures. Category Theory for the working computer scientist. — M.I.T. Press, 1991 (pp. 1-300)
Литература
- Вольфенгаген В. Э. Логика. Конспект лекций: техника рассуждений. 2-е изд., дополн. и перераб. — М: АО «Центр ЮрИнфоР», 2004. — 229 с ISBN 5-89158-135-3.
 |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .