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

Базы данных:

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

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

Виды поиска:

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

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

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

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

Поисковый запрос: (<.>S=Логика<.>)
Общее количество найденных документов : 99 Показаны документы с 21 по 40

1..20 21..40 41..60 61..80

21.

В12
Н73

Новиков, Петр Сергеевич.
Конструктивная математическая логика с точки зрения классической [Текст] : нелитературный текст / П. С.Новиков. - М. : Наука, 1977. - 328с. - (Математическая логика и основания математики). - 4.00 р.

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

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

22.

В12я431
М34

Математическая логика и ее применения [Текст] : сб.ст. / Под.ред.Э.Нагела и др.Пер.с англ. - М. : Мир, 1965. - 341с. - 6.00 р.

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

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

23.

В12
У77

Успенский, Владимир Андреевич.
Теорема Геделя о неполноте [Текст] : нелитературный текст / В. А.Успенский. - М. : Наука, 1982. - 111с. - (Популярные лекции по математике.Вып.57). - 5.00 р.

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

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

24.

В12
У77

Успенский, Владимир Андреевич.
Что такое нестандартный анализ? [Текст] : нелитературный текст / В. А.Успенский. - М. : Наука, 1987. - 128с. - 10.00 р.

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

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

25.

В12я43
И88

Исследования по теории множеств и неклассическим логикам [Текст] : нелитературный текст. - М. : Наука, 1976. - 328с. - 10.00 р.

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

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

26.

В12я73-4
Л13

Лавров, Игорь Андреевич.
Задачи по теории множеств,математической логике и теории алгоритмов [Текст] : нелитературный текст / И.А.Лавров,Л.Л.Максимова. - 3-е изд. - М. : Физматлит, 1995. - 255с. - ISBN 5-02-014844-Х : 5.00 р.

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

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

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

27.

В12я54
И88

Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике.8 [Текст] : сборник работ / Под ред.Ю.В.Матиясевича,А.О.Слисенко. - Л. : Наука, 1979. - 251с. - (Записки научных семинаров ЛОМИ,том 88). - 5.00 р.

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

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

28.

В12я2
С74

Справочная книга по математической логике [Текст] : в 4-х частях. Ч.4. Теория доказательств и конструктивная математика / Под ред.Дж.Барвайса.Пер.с англ. - [Б. м. : б. и.]. - 391с. - 10.00 р.

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

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

29.

В12
Ш47

Шенфилд, Джозеф.
Математическая логика [Текст] : нелитературный текст / Д.Шенфилд ; Пер.с англ. - М. : Наука, 1975. - 527с. - (Математическая логика и основания математики). - 15.00 р.

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

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

30.

В12
Р24

Расева, Елена.
Математика метаматематики [Текст] : нелитературный текст / Е.Расева ; Пер.с англ. - М. : Наука, 1972. - 591с. - (Математическая логика и основания математики). - 10.00 р.

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

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

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

31.

В12я43
М34

Математическая теория логического вывода [Текст] : сб.переводов / Под ред.А.В.Идельсона,Г.Е.Минца. - М. : Наука, 1967. - 351с. - (Математическая логика и основания математики). - 10.00 р.

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

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

32.

В12
Ф36

Фейс, Роберт.
Модальная логика [Текст] : нелитературный текст / Р.Фейс ; Пер.с англ. - М. : Наука, 1974. - 520с. - (Математическая логика и основания математики). - 10.00 р.

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

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

33.

В12я9
С50

Смаллиан, Рэймонд М.
Как же называется эта книга? [Текст] : нелитературный текст / Рэймонд М.Смаллиан ; Пер.с англ. - М. : Мир, 1981. - 238с. - 5.00 р.

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

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

34.

В12я43
Т65

Традиционная логика и канторовская диагональная процедура [Текст] : нелитературный текст / Отв.ред.Е.А.Зайцев. - М. : Янус-К, 1997. - 32с. - ISBN 5-88929-048-7 : 5.00 р.

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

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

35.

В127я73
К71

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

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

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

36.

В12я7
С30

Семенов, Алексей Львович.
Математика текстов [Текст] : нелитературный текст / А. Л.Семенов. - М. : МЦНМО, 2002. - 16с. - (Б-ка"Математическое просвещение".Вып.22). - ISBN 5-94057-006-2 : 5.00 р.

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

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

37.

В12
Я14

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

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

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

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

38.

В12
К30

Кац, Марк.
Математика и логика.Ретроспектива и перспективы [Текст] : нелитературный текст / М.Кац,Улам.С.Пер.с англ. - М. : Мир, 1971. - 251с. - (Современная математика.Попул.серия). - 5.00 р.

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

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

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

39.

В12я54
И88

Данцин, Е. Я.
Исследования по конструктивной математике и математической логике.10 [Текст] : сборник работ / Под ред.Е.Я.Данцина В.П.Оревкова. - СПб. : Изд-во СПбГУ, 1997. - 152с. - (Записки научных семинаров ПОМИ,том 220). - 10.00 р.

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

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

40.

В12я54
И88

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

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

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

1..20 21..40 41..60 61..80