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

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

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

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

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

• исследования в логике, вызванные развитием компьютерных наук. Например, аппликативные вычислительные системы, теория вычислений и модели вычислений;

• формальные методы и логика рассуждения о понятиях. Например, семантическая сеть, семантическая Web;

• булева логика и алгебра для разработки аппаратного обеспечения компьютеров;

• решение задач и структурное программирование для разработки прикладных программ и создания сложных систем программного обеспечения

• доказательное программирование — технология разработки алгоритмов и программ с доказательствами правильности алгоритмов;

• фундаментальные понятия и представления для компьютерных наук, которые являются естественной областью для формальной логики. Например, семантика языков программирования;

• логика знания и предположения. Например, искусственный интеллект;

• Язык Пролог и логическое программирование для создания баз знаний и экспертных систем и исследований в сфере искусственного интеллекта;

• логическое программирование для описания логических моделей баз знаний и логических процедур вывода и принятия решений;

• логика для описания пространственного положения и перемещения;

• логика в информационных технологиях. Например, реляционная модель данных. реляционные СУБД, реляционная алгебра, реляционное исчисление;

• логика вычислений с объектами. Например, комбинаторная логика, суперкомбинаторы;

• логика для компилирования программного кода и его оптимизации. Например, категориальная абстрактная машина;

• логика для эквивалентного преобразования объектов. Например, λ-исчисление;

• переизложение логики и математики в терминах, понятных специалистам в компьютерных науках.

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