Шанин Н.А. - О некоторых логических проблемах арифметики (Том 43)

Год

1955

Язык

rus

Теги

Математика

Аннотация

О некоторых логических проблемах арифметики (Том 43) Год выпуска : 1955 Автор : Шанин Н.А. Жанр : Монография Издательство : Издательство Академии наук СССР Серия : Труды Математического института имени В.А.Стеклова Формат : DjVu Качество : Отсканированные страницы Количество страниц : 113 Описание : Всякий вычислительный процесс слагается из преобразований групп знаков, выполняемых в соответствии с некоторым алгорифмом. В математике вводятся в рассмотрение группы знаков разнообразных типов. В одних случаях они являются объектами изучения, в других случаях — техническими средствами, применяемыми для записи алгорифмов, понятий, суждений и т. п. При этом определение групп знаков, относящихся к какому-либо конкретному типу, обычно осуществляется посредством задания тех или иных правил конструирования. Правила конструирования позволяют развертывать процессы построения вводимых в рассмотрение объектов, исходя из некоторых элементарных знаков. Объекты, определяемые этим методом, характеризуются как результаты развертывания порождающих процессов, основывающихся на заданных правилах конструирования. (Из введения) Приведена обложка современных изданий книг данной серии. Язык : Русский Содержание Примеры страниц (кликабельно) Опубликовано группой