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

Базы данных:

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

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

Виды поиска:

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

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

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

1..3

В127я73
К71

Косовский, Николай Кириллович.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов [Текст] : учеб.пособие / Н. К.Косовский. - Л. : Изд-во Ленингр.ун-та, 1981. - 192с. - 5.00 р.

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

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

В181я73
К71

Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств [Текст] : учеб.пособие для вузов / Н.К.Косовский,А.В.Тишков. - СПб : Изд-во СПбГУ, 2000. - 268с. - ISBN 5-288-02049-3 : 20.00 р.

ББК В181я73
Рубрики: Математика
Кибернетика
Кл.слова (ненормированные):
б-ка Русина -- учебник В181 -- неравенства -- предикаты -- логики конечнозначные -- моделирование

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

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

В127я73
К71

Косовский, Николай Кириллович.
Основы теории элементарных алгоритмов [Текст] : учебник для вузов / Н. К. Косовский ; М- во высш. и ср. спец. образования СССР. - Л. : ЛГУ, 1987. - 152 с. - 5.00 р.

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

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

1..3