Электронный каталог


 

База данных: Электронный каталог ДВФУ

Страница 1, Результатов: 2

Отмеченные записи: 0

510 Д 721
Драгалин, Альберт Григорьевич.
    Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.

УДК

Рубрики: математическая логика

   теория доказательств (математика)


Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)

Драгалин, Альберт Григорьевич. Математический интуиционизм. Введение в теорию доказательств [Текст] / А. Г. Драгалин., 1979. - 256 c. с.

1.

Драгалин, Альберт Григорьевич. Математический интуиционизм. Введение в теорию доказательств [Текст] / А. Г. Драгалин., 1979. - 256 c. с.


510 Д 721
Драгалин, Альберт Григорьевич.
    Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.

УДК

Рубрики: математическая логика

   теория доказательств (математика)


Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)


Подловченко, Р. И.; Научно-исследовательский вычислительный центр МГУ
    О проблеме минимизации для схем программ с перестановочными блоками / Р. И. Подловченко // Программирование. - N 4 (2008), С. 72-77. - Библиогр.: с. 77 (3 назв. )

УДК
ББК 32.973-018

Рубрики: Вычислительная техника

   Программирование ЭВМ. Компьютерные программы. Программотехника


Кл.слова (ненормированные):
алгебраические модели программ -- теоретическое программирование -- многоленточные автоматы (программирование) -- иерархия моделей программ -- минимизация схем программ
Аннотация: Рассматривается специального вида алгебраическая модель программ и обсуждается проблема минимизации для схем программ из этой модели.

Подловченко, Р. И.; Научно-исследовательский вычислительный центр МГУ О проблеме минимизации для схем программ с перестановочными блоками [Текст] / Р. И. Подловченко // Программирование. - N 4 (2008), С. 72-77

2.

Подловченко, Р. И.; Научно-исследовательский вычислительный центр МГУ О проблеме минимизации для схем программ с перестановочными блоками [Текст] / Р. И. Подловченко // Программирование. - N 4 (2008), С. 72-77



Подловченко, Р. И.; Научно-исследовательский вычислительный центр МГУ
    О проблеме минимизации для схем программ с перестановочными блоками / Р. И. Подловченко // Программирование. - N 4 (2008), С. 72-77. - Библиогр.: с. 77 (3 назв. )

УДК
ББК 32.973-018

Рубрики: Вычислительная техника

   Программирование ЭВМ. Компьютерные программы. Программотехника


Кл.слова (ненормированные):
алгебраические модели программ -- теоретическое программирование -- многоленточные автоматы (программирование) -- иерархия моделей программ -- минимизация схем программ
Аннотация: Рассматривается специального вида алгебраическая модель программ и обсуждается проблема минимизации для схем программ из этой модели.

Страница 1, Результатов: 2

 

Все поступления за 
Или выберите интересующий месяц