Логика в информатике

Ошибка скрипта: Модуля «Unsubst» не существует.

Логика в информатике — это раздел исследований математической логики^[1]^[2]^[3], направленных на решение логических проблем информатики и искусственного интеллекта^[4]^[5]^[6]^[7]^[8]^[9]^[10]^[11].

Область применения[править]

Ошибка скрипта: Модуля «Unsubst» не существует. Включаются следующие основные применения^[12]^[13]:

исследования в логике, вызванные развитием компьютерных наук. Например, аппликативные вычислительные системы, теория вычислений и модели вычислений;
формальные методы и логика рассуждения о понятиях. Например, семантическая сеть^[14], семантическая паутина;
булева логика и алгебра для разработки аппаратного обеспечения компьютеров;
решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения
доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;
фундаментальные понятия и представления для компьютерных наук, которые являются естественной областью для формальной логики. Например, семантика языков программирования^[15];
логика знания и предположения. Например, искусственный интеллект;
логика интеллектуальных систем, включая исследования проблем представления знаний посредством формальных языков^[16]^[17]^[18];
язык Пролог и логическое программирование для создания баз знаний и экспертных систем и исследований в сфере искусственного интеллекта;
логика для описания пространственного положения и перемещения;
логика в информационных технологиях. Например, реляционная модель данных, реляционные СУБД, реляционная алгебра, реляционное исчисление^[19];
логика вычислений с объектами. Например, комбинаторная логика, суперкомбинаторы^[20];
логика для компилирования программного кода и его оптимизации. Например, категориальная абстрактная машина;
логика для эквивалентного преобразования объектов. Например, λ-исчисление;
логика вычислений, требующих учёта ресурсов, в том числе верификация сетевых протоколов, языки программирования, теория игр (игровая семантика) ^[21] и лингвистика^[22]. Например, линейная логика;
изложение логики и математики в терминах, понятных специалистам в компьютерных науках^[23].

Этот список продолжает пополняться.

Примечания[править]

↑ Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Математическая Логика. — Издательство Юрайт.
↑ Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Математическая Логика. — Издательство Юрайт.
↑ Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Математическая Логика. — Пермский государственный национальный исследовательский университет.
↑ Шаблон:±. Логика В ИнформатикеШаблон:Ref-lang // Вестник Московского Городского Педагогического Университета. Серия: Информатика И Информатизация Образования. — 2007. — Шаблон:Бсокр. — ISSN Шаблон:ISSN search link.
↑ MSC2020-Mathematics Subject Classification System
↑ Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
↑ Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
↑ 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.
↑ Шаблон:±. Логика и информатика // Перспективы науки и образования. — 2015. — Шаблон:Бсокр. — Шаблон:Бсокр.
↑ Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
↑ Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.
↑ Шаблон:±. Развитие логической основы информатики как учебной дисциплины // Дискуссия. — 2012. — Шаблон:Бсокр. — Шаблон:Бсокр. — ISSN Шаблон:ISSN search link.
↑ Шаблон:±. Логические задачи и инновационные технологии при обучении информатике // Дискуссия. — 2012. — Шаблон:Бсокр. — Шаблон:Бсокр. — ISSN Шаблон:ISSN search link.
↑ 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.
↑ Финн Виктор Константинович О неаристотелевском строении понятий // Логические исследования. 2015. №1. URL: https://cyberleninka.ru/article/n/o-nearistotelevskom-stroenii-ponyatiy (дата обращения: 14.06.2021).
↑ Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. М.: ФИЗМАТЛИТ, 2008.
↑ Anshakov O., Gergely T. Cognitive Reasoning. A Formal Approach. SpringerVerlag: Berlin-Heidelberg, 2010.
↑ 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
↑ Алгоритмические вопросы алгебры и логики /КАРТОЧКА ПРОЕКТА, ПОДДЕРЖАННОГО РОССИЙСКИМ НАУЧНЫМ ФОНДОМ. Дата обращения:18.07.2021
↑ [[Valeria de Paiva|Шаблон:±.]] Ошибка скрипта: Модуля «Публикация» не существует.. — 1999.Шаблон:Публикация/серия Шаблон:Публикация/стандартные номера
↑ 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.
Всероссийская научно-техническая конференция «Непрерывная и смежные логики в информатике, экономике и социологии», 30-31 окт. 1997 г.: Материалы конф. / Под ред. В. И. Левина. — Пенза: ПДЗ, 1997. — 109 с.

Шаблон:Логика Ошибка скрипта: Модуля «Unsubst» не существует.

This article "Логика в информатике" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Логика в информатике. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

Facebook Page

🐤 Twitter Follow us on Twitter !

Read or create/edit this page in another language[править]

Логика в информатике in English

[1] Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Математическая Логика. — Издательство Юрайт.

[2] Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Математическая Логика. — Издательство Юрайт.

[3] Страница Модуль:Citation/CS1/styles.css не имеет содержания.Шаблон:±. Математическая Логика. — Пермский государственный национальный исследовательский университет.

[4] Шаблон:±. Логика В ИнформатикеШаблон:Ref-lang // Вестник Московского Городского Педагогического Университета. Серия: Информатика И Информатизация Образования. — 2007. — Шаблон:Бсокр. — ISSN Шаблон:ISSN search link.

[5] MSC2020-Mathematics Subject Classification System

[6] Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.

[7] Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.

[8] 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.

[9] Шаблон:±. Логика и информатика // Перспективы науки и образования. — 2015. — Шаблон:Бсокр. — Шаблон:Бсокр.

[10] Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.

[11] Ошибка Lua в package.lua на строке 80: module 'Module:Languages' not found.

[12] Шаблон:±. Развитие логической основы информатики как учебной дисциплины // Дискуссия. — 2012. — Шаблон:Бсокр. — Шаблон:Бсокр. — ISSN Шаблон:ISSN search link.

[13] Шаблон:±. Логические задачи и инновационные технологии при обучении информатике // Дискуссия. — 2012. — Шаблон:Бсокр. — Шаблон:Бсокр. — ISSN Шаблон:ISSN search link.

[14] Roussopoulos N.D. A semantic network model of data bases. — TR No 104, Department of Computer Science, University of Toronto, 1976.

[15] 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.

[16] Финн Виктор Константинович О неаристотелевском строении понятий // Логические исследования. 2015. №1. URL: https://cyberleninka.ru/article/n/o-nearistotelevskom-stroenii-ponyatiy (дата обращения: 14.06.2021).

[17] Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах. М.: ФИЗМАТЛИТ, 2008.

[18] Anshakov O., Gergely T. Cognitive Reasoning. A Formal Approach. SpringerVerlag: Berlin-Heidelberg, 2010.

[19] 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.

[20] Peyton Jones S., Eber J.-M., Seward J. Composing contracts: an adventure in financial engineering. — ICFP 2000

[rscf-project16-11-10252-21] Алгоритмические вопросы алгебры и логики /КАРТОЧКА ПРОЕКТА, ПОДДЕРЖАННОГО РОССИЙСКИМ НАУЧНЫМ ФОНДОМ. Дата обращения:18.07.2021

[22] [[Valeria de Paiva|Шаблон:±.]] Ошибка скрипта: Модуля «Публикация» не существует.. — 1999.Шаблон:Публикация/серия Шаблон:Публикация/стандартные номера

[23] Asperti A, and Longo G. Categories, Types and Structures. Category Theory for the working computer scientist. — M.I.T. Press, 1991 (pp. 1-300)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]