Cтраница 1
Теория вычислительных машин трактует вопросы, связанные с приемом, преобразованием и выдачей в форме, удобной для дальнейшего использования большого количества различной информации, поступающей на вход вычислительной машины в виде последовательности каких-то сигналов. [1]
Теория вычислительных машин широко развивалась на протяжении последних нескольких десятилетий. Интуитивно вычислительная машина - это любая физическая система, динамическая эволюция которой переводит ее от одного из множества входных состояний к одному из множества выходных состояний. Эти состояния помечены некоторым каноническим образом, машина готовится в состоянии с заданной меткой входа, и затем, вслед за некоторым движением, измеряются выходные состояния. [2]
Неймана по теории вычислительных машин. [3]
Предполагается, что теория логических и вычислительных машин, а также теория автоматического регулирования изучаются в самостоятельных курсах. [4]
Различие между ними отчетливо признано в теории вычислительных машин. Машины, которые обладают непрерывно изменяющимися состояниями, называются аналоговыми -, машины, которые обладают как цифровыми, так и аналоговыми устройствами, называются гибридными. [5]
Эта лемма связана с понятием разрешимости, применяемым в основаниях математики и теории вычислительных машин. Сформулируем эквивалентное утверждение, также принадлежащее Банаху. [6]
При написании книги авторами были использованы материалы курсов лекций по математической логике и теории вычислительных машин, неоднократно читанных студентам Пензенского политехнического и Пензенского педагогического институтов. Для понимания текста от читателей не требуется специальной математической подготовки. [7]
Тем не менее наглядные образы и понятия, выработанные в связи с развитием теории вычислительных машин дискретного действия, могут быть полезны для общей ориентировки в проблеме рационального определения понятия алгоритма. Вся идеализация, необходимая для перехода от реальных вычислительных машин к математическим алгоритмам, заключается в допущении неограниченного объема памяти машины. [8]
Другими вопросами, не рассматриваемыми здесь, занимается теория преобразования и передачи информации, теория вычислительных машин, теория надежности. В наиболее общем виде такого рода вопросами занимается кибернетика. Она уже не ограничивается областью техники, а изучает еще более широкие принципы управления и принципы преобразования информации, которые являются общими как для технических устройств, так и для живых организмов, а также для экономики и военного дела, включающих в себя сложные комплексы техники и людей, которые с ней взаимодействуют. [9]
На последующих этапах такие программы преобразуются в таблицы конечных состояний, хорошо известные специалистам в области теории вычислительных машин. Для любого текущего состояния системы такая таблица позволяет определить, в какое новое состояние перейдет система, получив определенный набор входных сигналов, и какой набор выходных сигналов при этом будет сформирован. В контексте той системы, которую мы рассматриваем, состояния - это планы лечения, а входные и выходные сигналы - это медицинские данные. [10]
Книга рассчитана на лиц, интересующихся современными проблемами математической логики, теории алгоритмов, теории автоматов, математической лингвистики и теории вычислительных машин. [11]
Интенсивное развитие электронных вычислительных машин определило формирование нового научного направления - кибернетики, теоретические основы которой теснейшим образом связаны с теорией информации, теорией вычислительных машин и теорией автоматического управления. В области техники кибернетика занимается разработкой алгоритмов управления для комплексной автоматизации производственных процессов; изучением проблем, связанных с передачей информации и ее прохождением в замкнутых контурах каналов связи; разработкой новых принципов автоматического управления, основанных на преобразовании потоков информации. В основе этих преобразований лежит широкий круг математических и логических операций, направленных на упорядочение получаемых сведений по определенным алгоритмам. Выполнение указанных действий осуществляется в специальных физических системах, называемых кибернетическими устройствами, или управляющими машинами. [12]
Оценивая в целом состояние изложенных выше научных направлений современной автоматики, следует иметь в виду, что наряду с крупными научными и техническими достижениями в этой области существует много нерешенных вопросов. Если теория сообщений, теория вычислительных машин, теория автоматического регулирования к настоящему времени уже являются установившимися научными дисциплинами с хорошо разработанной методикой и математическим аппаратом, то такие направления, как теория автоматических измерений и теория автоматического управления, еще не сформировались как самостоятельные научные дисциплины. [13]
Его нельзя, конечно, рассматривать как сколько-нибудь систематическое изложение теории вычислительных машин и методов программирования. Для более подробного ознакомления с этими вопросами следует обратиться к специальной литературе. [14]
В первой половине 60 - х годов при применении первых вычислительных машин возникли вопросы, касающиеся общей теории концепции и реализации процесса авто-матизации на практике. Несмотря на то что на этом этапе работала небольшая группа сотрудников, имеющих ограниченный опыт, были сформулированы некоторые основные положения в области теории управления, кибернетики, исследования операций и теории вычислительных машин. Эти положения стали исходной базой для последующих концепций и положительно повлияли на теоретические работы второй половины 60 - х годов. [15]