Как "работает" программа в математической теории. Теория компьютерных строк выразительнее арифметики

[dmitgu]

. К оглавлению . Показать весь текст .

Оглавление и введение

I. Как в теории выразить работу алгоритмов с бесконечными или слишком большими входными аргументами

II. Трудности в арифметике с тем, чтобы выразить работу алгоритмов

III. Стандартная интерпретация арифметики и «не замеченная» логика строк

IV. Рекурсивные функции - удачный для своего

Comments

[lj_frank_bot]

Здравствуйте!
Система категоризации Живого Журнала посчитала, что вашу запись можно отнести к категории: Наука.
Если вы считаете, что система ошиблась - напишите об этом в ответе на этот комментарий. Ваша обратная связь поможет сделать систему точнее.
Фрэнк,
команда ЖЖ.

[anonymous]

? У Р А К А М Е Р А
А нотация символа существования в строке существует или не существует?

[dmitgu]

Если в алфавите есть, то и в строке иногда существует )