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