Интернет магазин китайских планшетных компьютеров



Компьютеры - Логика в информатике

23 января 2011


Оглавление:
1. Логика в информатике
2. Эффективность логики в компьютерных науках



это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте. Логика оказалась гораздо более эффективной в информатике, чем это было в математике.

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

Включаются следующие основные применения:

  • исследования в логике, вызванные развитием компьютерных наук. Например, аппликативные вычислительные системы, теория вычислений и модели вычислений;
  • формальные методы и логика рассуждения о понятиях. Например, семантическая сеть, семантическая Web;
  • булева логика и алгебра для разработки аппаратного обеспечения компьютеров;
  • решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения
  • доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;
  • фундаментальные понятия и представления для компьютерных наук, которые являются естественной областью для формальной логики. Например, семантика языков программирования;
  • логика знания и предположения. Например, искусственный интеллект;
  • Язык Пролог и логическое программирование для создания баз знаний и экспертных систем и исследований в сфере искусственного интеллекта;
  • логическое программирование для описания логических моделей баз знаний и логических процедур вывода и принятия решений;
  • логика для описания пространственного положения и перемещения;
  • логика в информационных технологиях. Например, реляционная модель данных. реляционные СУБД, реляционная алгебра, реляционное исчисление;
  • логика вычислений с объектами. Например, комбинаторная логика, суперкомбинаторы;
  • логика для компилирования программного кода и его оптимизации. Например, категориальная абстрактная машина;
  • логика для эквивалентного преобразования объектов. Например, λ-исчисление;
  • переизложение логики и математики в терминах, понятных специалистам в компьютерных науках.

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



Просмотров: 1361


<<< Конечный автомат
Логика Хоара >>>