База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
510 Д 721
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.
Рубрики: математическая логика
теория доказательств (математика)
Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.
УДК |
Рубрики: математическая логика
теория доказательств (математика)
Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
2.
Подробнее
Подловченко, Р. И.; Научно-исследовательский вычислительный центр МГУ
О проблеме минимизации для схем программ с перестановочными блоками / Р. И. Подловченко // Программирование. - N 4 (2008), С. 72-77. - Библиогр.: с. 77 (3 назв. )
ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгебраические модели программ -- теоретическое программирование -- многоленточные автоматы (программирование) -- иерархия моделей программ -- минимизация схем программ
Аннотация: Рассматривается специального вида алгебраическая модель программ и обсуждается проблема минимизации для схем программ из этой модели.
Подловченко, Р. И.; Научно-исследовательский вычислительный центр МГУ
О проблеме минимизации для схем программ с перестановочными блоками / Р. И. Подловченко // Программирование. - N 4 (2008), С. 72-77. - Библиогр.: с. 77 (3 назв. )
УДК |
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
алгебраические модели программ -- теоретическое программирование -- многоленточные автоматы (программирование) -- иерархия моделей программ -- минимизация схем программ
Аннотация: Рассматривается специального вида алгебраическая модель программ и обсуждается проблема минимизации для схем программ из этой модели.
Страница 1, Результатов: 2