Как только не называют наш век — и веком электричества, и веком атомной энергии, и веком пластмасс, и даже веком очередей... Однако наиболее емким и обоснованным выглядит термин «информационный век».
В самом деле, по темпам развития и по широте применения электронные вычислительные и управляющие устройства — а именно они перерабатывают в наши дни основные потоки информации — оставили далеко позади и энергетические машины, и технологию производства вещественных изделий.
Пользуясь автомобилем, мы передвигаемся быстрее в десятки раз, а с помощью самолета — в добрую сотню раз. Для информационных процессов эффект машинного ускорения гораздо выше: современная ЭВМ считает в миллион раз быстрее, чем человек, а перспективные лабораторные образцы— даже в миллиард раз!
Чтобы решить некоторую задачу на ЭВМ, надо прежде всего свести ее к вычислениям. Причем к вычислениям в расширенном смысле — не только арифметическим, но и логическим. Арифметические вычисления опираются на солидный фундамент вычислительной математики. С логическими вычислениями труднее — вычислительная логика находится в самом начале своего развития, закладываются лишь первые камни в ее основание. Тем не менее логическим вычислениям, логическому программированию в последнее время уделяется все большее внимание, поскольку они позволяют значительно расширить круг решаемых на ЭВМ задач, выйти за пределы традиционного применения ЭВМ.
Что же это за задачи?
Принято говорить, что они относятся к
