Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логические исчисления<.>)
Общее количество найденных документов : 3 Показаны документы с 1 по 3

1..3

В12
Г47

Гильберт, Давид.
Основания математики [Текст] : логические исчисления и формализация арифметики: Пер. с нем. / Д. Гильберт. - 2-е изд. - М. : Наука, 1982. - 556с. - (Математическая логика и основания математики). - 6.22 р.

ББК В12
Рубрики: основания математики
Кл.слова (ненормированные):
логические исчисления -- формализация арифметики

Держатели документа:
ЯрГУ

Доп.точки доступа:
Бернайс, Пауль ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

В12
Г47

Гильберт, Давид.
Основания математики [Текст] : логические исчисления и формализация арифметики / Д.Гильберт,П.Бернайс.Пер.с нем. - М. : Наука, 1979. - 557с. - (Математическая логика и основания математики). - 7.00 р.

ББК В12
Рубрики: основания математики
Кл.слова (ненормированные):
б-ка Русина -- логические исчисления -- элементарная арифметика

Держатели документа:
ЯрГУ

Доп.точки доступа:
Бернайс, Пауль ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие

519.7/8
Н73

Новиков, Ф. А.
Дискретная математика для программистов [Текст] : учебник для вузов / Ф.А. Новиков. - СПб. : Питер, 2001. - 304 с. : граф., табл. - Библиогр.: с.290-291 . -Алф. указ.: с.292 . - ISBN 5-272-00183-4 (в пер.) : 80.00 р.

ГРНТИ	27.41.41
УДК	519.7/8

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

1..3