Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логические исчисления<.>)
Общее количество найденных документов
:
3
Показаны документы
с 1 по 3
1..3
1.
В12
Г47
Гильберт, Давид
.
Основания математики [Текст] :
логические исчисления
и формализация арифметики: Пер. с нем. / Д. Гильберт. - 2-е изд. - М. : Наука, 1982. - 556с. - (Математическая логика и основания математики). - 6.22 р.
ББК
В12
Рубрики:
основания математики
Кл.слова (ненормированные):
логические исчисления
--
формализация арифметики
Держатели документа:
ЯрГУ
Доп.точки доступа:
Бернайс, Пауль ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
2.
В12
Г47
Гильберт, Давид
.
Основания математики [Текст] :
логические исчисления
и формализация арифметики / Д.Гильберт,П.Бернайс.Пер.с нем. - М. : Наука, 1979. - 557с. - (Математическая логика и основания математики). - 7.00 р.
ББК
В12
Рубрики:
основания математики
Кл.слова (ненормированные):
б-ка Русина
--
логические исчисления
--
элементарная арифметика
Держатели документа:
ЯрГУ
Доп.точки доступа:
Бернайс, Пауль ЯрГУ/Ф7/НБ, ЯрГУ/КХ/НБ
Свободных экз. нет
Найти похожие
3.
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