Как мы уже указывали, каждая формула является конечной последовательностью символов или, иначе говоря, словом в ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Новиков П.С. Элементы математической теории Изд.2


Как мы уже указывали, каждая формула является конечной последовательностью символов или, иначе говоря, словом в алфавите, содержащем все указанные выше символы. Однако этим понятие формулы еще не определено. Мы должны определить, какие слова называются формулами.

(cкачать страницу)

Смотреть книгу на libgen

Как мы уже указывали,  каждая формула является конечной последовательностью символов или,  иначе говоря,  словом в алфавите,  содержащем все указанные выше символы.  Однако этим понятие формулы еще не определено.  Мы должны определить,  какие слова называются формулами.