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

Базы данных:

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

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

Виды поиска:

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

Найдено в других БД:

Электронный каталог МУБиНТ, г. Ярославль (37)

"Руконт"-Национальный цифровой ресурс (14)

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

Поисковый запрос: (<.>K=ЛОГИКИ<.>)
Общее количество найденных документов : 91 Показаны документы с 1 по 20

1..20 21..40 41..60

002
Т74

Информатика [] / В.П. Тихомиров, Вальциферов Ю.В.
Часть 1. : Системы счисления. Элементы математической логики : учебно-методическое пособие / Московский государственный университет экономики, статистики и информатики. - М. : МЭСИ, 1996. - 101 с. - Содержание : Системы счисления. Элементы математической логики. Решение содержательных задач с помощью аппарата алгебры логики. Построение логических и электрических схем по заданным функциям. . - ISBN 5-7764-0119-4 : 12 р.

ГРНТИ	20
УДК	002

ББК 22 183.492
Рубрики: Информатика
Логика
Аннотация: Цель пособия - дать слушателям материал для практических занятий по информатике. Пособие не содержит систематического изложения теоретического материала и не может заменить учебник по информатике. Оно содержит лишь основные и наиболее важные вопросы теории, необходимые для решения задач.

Держатели документа:
МУБиНТ МУБиНТ/ХР
Свободных экз. нет
Найти похожие

З813
Л69

Логический подход к искусственному интеллекту [Текст] : от модальной логики к логике баз данных: Пер. с фр. / Под ред. Гаврилова Г. П. - М. : Мир, 1998. - 494с. - 20.1000 р.

ББК З813
Рубрики: искусственный интеллект
персональный компьютер
программирование
Кл.слова (ненормированные):
искусственный интеллект -- ЭВМ -- база данных

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

В12
С49

Слупецкий, Е.
Элементы математической логики и теория множеств [Текст] : пер.с польского Серебрянникова О.Ф. / Е. Слупецкий ; Под ред. Коваленко И. Н. - М : Прогресс, 1965. - 368с. - 12 р.

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

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

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

В162
Е80

Ершов, Юрий Леонидович.
Кратно нормированные поля [Текст] : нелитературный текст / Ю. Л. Ершов. - Новосибирск : Научная книга, 2000. - 330с. - (Сибирская школа алгебры и логики). - ISBN 5-88119-028-9 : 20 р.

ББК В162
Рубрики: функциональный анализ
Кл.слова (ненормированные):
нормированные поля

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

В126я73
Б43

Белов, Юрий Анатольевич.
Элементы теории множеств и математической логики [Текст] : учебное пособие для вузов / Ю. А. Белов ; Ярославский государственный университет им. П. Г. Демидова. - Ярославль : Ярославский государственный университет им. П. Г. Демидова, 2002. - 58с. - ISBN 5-8397-0217-Х : 17.50 р.

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

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

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

В18я73
Я14

Яблонский, Сергей Всеволодович.
Введение в дискретную математику [Текст] : учебное пособие для вузов / С. В. Яблонский ; М-во образования РФ. - 4-е изд., стереотип. - М. : Высшая школа, 2003. - 384с. - (Высшая математика). - ISBN 5-06-004681-8 : 107.00 р.

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

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

Ю4
М16

Маковельский, Александр Осипович.
История логики [Текст] : нелитературный текст / А. О.Маковельский. - Жуковский-М. : Кучково поле, 2004. - 480с. - ISBN 5-86090-081-3 : 220.85 р.

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

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

В18
С21

Сафин, Ринат Фатехович.
О глубине и сложности формул в предполных классах k-значной логики [Текст] : автореф.дисс.на соиск.уч.степ.кан.физ.-мат.наук.01.01.09 / Р. Ф.Сафин ; МГУ. - М. : [б. и.], 2004. - 8с. - б/ц

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

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

В18
Т19

Тарасова, Ольга Сергеевна.
О классах функций k-значной логики,замкнутых относительно операций суперпозиции и перестановки [Текст] : автореф.дисс.на соиск.уч.степ.кан.физ.-мат.наук.01.01.09 / О. С.Тарасова ; МГУ. - М. : [б. и.], 2004. - 12с. - б/ц

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

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

10.

В12
Б64

Бирюков, Борис Владимирович.
Жар холодных числ и пафос бесстрастной логики [Текст] : формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков. - 2-е изд., перераб. и доп. - М. : Знание, 1985. - 192 с. - (Наука и прогресс). - 40.00 р.

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

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

11.

В12
Р93

Рыбаков, Михаил Николаевич.
Сложность пропозициональных логик с конечным числом переменных [Текст] : автореф. дисс. на соиск. уч. степ. кан. физ.-мат. наук. 01.01.06 / М. Н. Рыбаков ; Тверской гос. ун-т ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 2005. - 95 с. - б/ц

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

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

12.

В12
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [Текст] : нелитературный текст / П. С.Новиков. - М. : Гос.изд-во физ.-мат.лит., 1959. - 400с. - (Математическая логика и основания математики). - 60.00 р.

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

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

13.

В12
М54

Метакидес, Г.
Принципы логики и логического программирования [Текст] : нелитературный текст / Г.Метакидес,А.Нероуд.Пер.с англ. - М. : Факториал, 1998. - 288с. - ISBN 5-88688-037-2 : 50.00 р.

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

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

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

14.

В12я54
Н47

Неклассические логики [Текст] : нелитературный текст. - Кишинев : Штиинца, 1987. - 156с. - (Математические исследования.Вып.98). - 4.00 р.

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

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

15.

В12
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [Текст] : нелитературный текст / П. С.Новиков. - 2-е изд.,испр. - М. : Наука, 1973. - 399с. - (Математическая логика и основания математики). - 4.00 р.

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

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

16.

В174я73-4
С23

Журавлев, Ю. И.
Сборник задач по дискретному анализу [Текст] : комбинаторика.Элементы алгебры логики.Теория графов.Учеб.пособие для вузов / Ю.И.Журавлев и др.Учеб.-метод.совет Моск.физ.-техн.ин-та. - М. : МФТИ, 2000. - 99с. - ISBN 5-7417-0154-Х : 20.00 р.

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

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

17.

В127я73
К71

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

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

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

18.

В181я73
К71

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

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

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

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

19.

В12
Я14

Яблонский, Сергей Всеволодович.
Функции алгебры логики и классы поста [Текст] : нелитературный текст / С.В.Яблонский,Г.П.Гаврилов,В.Б.Кудрявцев. - М. : Наука, 1966. - 119с. - (Математическая логика и основания математики). - 20.00 р.

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

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

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

20.

В12я54
И88

Данцин, Е. Я.
Исследования по конструктивной математике и математической логике.9 [Текст] : сборник работ / Под ред.Е.Я.Данцина В.П.Оревкова. - СПб. : Наука, 1995. - 148с. - (Записки научных семинаров ПОМИ,том 220). - 15.00 р.

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

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

1..20 21..40 41..60