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

Базы данных:

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

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

Виды поиска:

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

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

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

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

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

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

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

41.

В126
В74

Вопенка, Петр.
Альтернативная теория множеств [Текст] : новый взгляд на бесконечность / П. Вопенка ; пер. со словац. - Новосибирск : Изд-во Ин-та математики, 2004. - 611 с. - ISBN 5-86134-124-9 : 100.00 р.

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

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

42.

В12
Р93

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

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

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

43.

В12
К84

Крупский, Николай Владимирович.
Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов [Текст] : автореф. дисс. на соиск уч. степ. кан. физ.-мат. наук. 01.01.06 / Н. В. Крупский ; МГУ. - М. : [б. и.], 2006. - 12 с. - б/ц

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

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

44.

В12
Н73

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

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

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

45.

В12
М54

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

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

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

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

46.

В12я54
Н47

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

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

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

47.

В12
Г47

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

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

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

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

48.

В12я43
Л69

Логические исследования [Текст] : сб.статей. - М. : АН СССР, 1959. - 466с. - 20.00 р.

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

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

49.

В12
С81

Столл, Роберт Р.
Множества.Логика.Аксиоматические теории [Текст] : нелитературный текст / Роберт Р.Столл ; Под ред.Ю.А.Шихановича.Пер.с англ. - М. : Просвещение, 1968. - 231с. - (Математическое просвещение). - 5.00 р.

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

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

50.

В127
М27

Марков, Андрей Андреевич.
Теория алгорифмов [Текст] : нелитературный текст / А.А.Марков,Н.М.Нагорный. - М. : Наука, 1984. - 432с. - (Математическая логика и основания математики). - 9.00 р.

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

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

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

51.

В12
Ч-43

Чень, Ч.
Математическая логика и автоматическое доказательство теорем [Текст] : нелитературный текст / Ч.Чень,Р.Ли ; Пер.с англ. - М. : Наука, 1983. - 358с. - (Математическая логика и основания математики). - 6.00 р.

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

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

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

52.

В14
Е80

Ершов, Юрий Леонидович.
Проблемы разрешимости и конструктивные модели [Текст] : нелитературный текст / Ю. Л.Ершов. - М. : Наука, 1980. - 415с. - (Математическая логика и основания математики). - 7.00 р.

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

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

53.

В12
Д72

Драгалин, Альберт Григорьевич.
Математический интуиционизм [Текст] : введение в теорию доказательств / А. Г.Драгалин. - М. : Наука, 1979. - 256с. - (Математическая логика и основания математики). - 2.00 р.

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

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

54.

В12
М34

Математическая логика в программировании [Текст] : сборник статей / Пер.с англ. - М. : Мир, 1991. - 408с. - (Математическое обеспечение ЭВМ). - ISBN 5-03-001635-Х : 8.00 р.

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

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

55.

В161.5
К96

Кушнер, Борис Абрамович.
Лекции по конструктивному математическому анализу [Текст] : нелитературный текст / Б. А.Кушнер. - М. : Наука, 1973. - 447с. - (Математическая логика и основания математики). - 4.00 р.

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

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

56.

В12
С50

Смальян, Раймонд М.
Теория формальных систем [Текст] : нелитературный текст / Раймонд М.Смальян ; Под ред.Н.А.Шанина.Пер.с англ. - М. : Наука, 1981. - 207с. - (Математическая логика и основания математики). - 1.00 р.

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

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

57.

В12
Р58

Робинсон, Авраам.
Введение в теорию моделей и метаматематику алгебры [Текст] : нелитературный текст / А.Робинсон ; Пер.с англ. - М. : Наука, 1967. - 376с. - (Математическая логика и основания математики). - 4.00 р.

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

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

58.

В12
Н73

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

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

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

59.

В12
Н73

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

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

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

60.

В12я431
М34

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

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

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

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