Логин (фамилия): Пароль (штрих-код):

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

Базы данных: 
Электронный каталог МУБиНТ, г. ЯрославльЭлектронный каталог МУБиНТ, г. РыбинскЦентр иностранной литературыСводный каталог НТЛ по Ярославской области"Руконт"-Национальный цифровой ресурсЭлектронный каталог выпускных квалификационных работ

Виды поиска: 
Стандартный Расширенный По словарю
Поиск в найденном
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математическая логика<.>)
Общее количество найденных документов : 70
Показаны документы с 1 по 20
 1..20  21..40  41..60    
1.
В12я43
И88

   
    Исследования по теории алгоритмов и математической логике [Текст] : нелитературный текст. Т.1 / Под ред. Маркова А. А. , Петри Н. В. - [Б. м. : б. и.]. - 285с. - 10 р.
ББК В12я43
Рубрики: основания математики
Кл.слова (ненормированные):
математическая логика

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

    Берштейн, Леонид Самойлович.
    Нечеткие графы и гиперграфы [Текст] : нелитературный текст / Л. С. Берштейн, А. В. Боженюк. - М. : Научный мир, 2005. - 255 с. - ISBN 5-89176-315-Х : 60.00 р.
ББК В12
Рубрики: математика
Кл.слова (ненормированные):
нечеткая логика -- математическая логика -- основания математики -- нечеткие графы -- гиперграфы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   
    Логические исследования [Текст] : сб.статей. - М. : АН СССР, 1959. - 466с. - 20.00 р.
ББК В12я43
Рубрики: логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- символическая логика -- логический анализ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   
    Математическая логика и ее применения [Текст] : сб.ст. / Под.ред.Э.Нагела и др.Пер.с англ. - М. : Мир, 1965. - 341с. - 6.00 р.
ББК В12я431
Рубрики: основания математики
   логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория моделей -- алгоритмы

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

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

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

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

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

   
    Исследования по теории множеств и неклассическим логикам [Текст] : нелитературный текст. - М. : Наука, 1976. - 328с. - 10.00 р.
ББК В12я43
Рубрики: основания математики
   логика
Кл.слова (ненормированные):
б-ка Русина -- математическая логика -- теория множеств

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

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

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

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