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

Базы данных:

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

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

Виды поиска:

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

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

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

1..20 21..23

Ю4я73
Г65

Гончаров, Сергей Севостьянович.
Введение в логику и методологию науки [Текст] : нелитературный текст / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М. : Интерпракс,Новосибирск:Ин-т матем.СО РАН, 1994. - 256с. - 5000.2000 р.

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

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

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

В12
В31

Верещагин, Николай Константинович.
Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени доктора физико-математических наук: Специальность 01.01.06 / Н. К. Верещагин. - М : Московский государственный университет им. М. В. Ломоносова, 1995. - 25с. : ил. -

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

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

В12
П25

Пентус, Мати Рейнович.
Исчисление Ламбека и формальные грамматики [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 01.01.06 / М. Р. Пентус. - М : Московский государственный университет им. М. В. Ломоносова, 1996. - 12с. : ил. -

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

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

В127
К82

Криницкий, Н. А.
Аналитическая теория алгоритмов [Текст] : нелитературный текст / Н. А. Криницкий. - М. : Наука, 1994. - 351с. - ISBN 5-02-014387-1 : 30 р.

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

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

В12я73
Я14

Яблонский, С. В.
Анализ и синтез схем в многозначных логиках [Текст] : учебное пособие для вузов. Ч.1 / Яблонский С. В., Гаврилов Г. П., Набебин А. А. - [Б. м. : б. и.]. - 117с. - 10 р.

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

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

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

В12
Т21

Тарский, Альфред.
Введение в логику и методологию дедуктивных наук [Текст] : пер.с англ. / А. Тарский ; Под ред. Яновской С. А. - М. : Инязиздат, 1948. - 327с. - 20 р.

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

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

В12
Ш37

Шевченко, Владимир Егорович.
Некоторые способы решения логических задач [Текст] : нелитературный текст / В. Е. Шевченко. - Киев : Вища школа, 1979. - 79с. - (Б-чка физико-математической школы.Математика). - 10 р.

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

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

В126я73
Б43

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

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

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

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

В126я73
К89

Кузнецов, Петр Борисович.
Основы нечеткой математики (теория нечетких множеств) [Текст] : учебное пособие для вузов / П. Б. Кузнецов, Ю. К. Оленикова ; Учебно-метод. объединение по образованию в обл. прикладной информатики. - Ярославль : Ярославский государственный технический университет, 2003. - 154с. - ISBN 5-230-20588-1 : 33.30 р.

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

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

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

10.

В1я44
М26

Марков, Андрей Андреевич.
Избранные труды [Текст] : нелитературный текст. Т.2. Теория алгорифмов и конструктивная математика.Математическая логика.Информатика и смежные вопросы / А. А. Марков ; Сост. и общ. ред. Н. М. Нагорного. - [Б. м. : б. и.]. - 626с. - ISBN 5-94057-113-1. - ISBN 5-94057-044-5 : 100.00 р.

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

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

11.

В12
Д72

Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ [Текст] : нелитературный текст / А. Г.Драгалин. - М. : Едиториал УРСС, 2003. - 544с. - ISBN 5-354-00388-1 : 60.00 р.

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

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

12.

В12я73-4
Л13

Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : нелитературный текст / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : ФИЗМАТЛИТ, 2003. - 255 с. - ISBN 5-9221-0026-2 : 68.00 р.

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

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

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

13.

В12
Б64

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

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

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

14.

В12я73
К89

Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] : учебник для вузов / О. П. Кузнецов. - 3-е изд., перераб. и доп. - СПб. : Лань, 2004. - 395 с. - (Учебники для вузов. Специальная лит.). - ISBN 5-8114-0570-7 : 197.00 р.

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

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

15.

Ю
Л68

Лобовиков, Владимир Олегович.
Математическая логика естественного права и политической экономии [Текст] : математическая философия экономики и права. Ч.1,2 / В. О. Лобовиков ; РАН, Ин-т философии и права. - [Б. м. : б. и.]. - 658 с. - ISBN 5-7691-1587-4 : 60.00 р.

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

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

16.

В12я73
К89

Кузнецов, Олег Петрович.
Дискретная математика для инженера [Текст] : учебник для вузов / О. П. Кузнецов. - 4-е изд., стереотип. - СПб. : Лань, 2005. - 395 с. - (Учебники для вузов. Специальная лит.). - ISBN 5-8114-0570-7 : 253.00 р.

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

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

17.

В12я73
Н58

Нефедов, Виктор Николаевич.
Курс дискретной математики [Текст] : учеб.пособие для вузов / В.Н.Нефедов,В.А.Осипова.Гос.ком.СССР по нар.образованию. - М. : Изд-во МАИ, 1992. - 262с. - ISBN 5-7035-0157-Х : 15.00 р.

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

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

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

18.

В12я73
Д84

Дурнев, Валерий Георгиевич.
Элементы теории множеств и математической логики [Текст] : учеб. пособие для вузов / В. Г. Дурнев ; Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : [б. и.], 1978. - 116 с. - 0.50 р.

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

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

19.

22.122я73
Д 84

Дурнев, Валерий Георгиевич.
Введение в математическую логику [Текст] : учеб. пособие / В. Г. Дурнев ; М-во образования и науки Рос. Федерации, Федер. агентство по образованию, Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль : ЯрГУ, 2005. - 187 с. ; 29 см. - Библиогр.: с. 185-187 (49 назв.). - 150 экз. - ISBN 5-8397-0365-6 в обл. : 35 р.
На обл. в подзаг.: Логика и исчисление высказываний, элементы теории множеств

ББК 22.122я73
Рубрики: Математическая логика--Учебные издания для высших учебных заведений

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

Доп.точки доступа:
Министерство образования и науки Российской Федерации; Федеральное агентство по образованию; Ярославский государственный университет им. П. Г. Демидова ЯОУНБ/к/х
Свободных экз. нет
Найти похожие

20.

22.122
Б798

Больцано, Б.
Парадоксы безконечнаго [Текст] : нелитературный текст / Б.Больцано ; Изданные по посмертной рукописи автора Др.Фр.Пржигонским;Перевод с немецкаго под редакцией И.В.Слешинскаго. - Одесса : Типография Л.Шутака, Б. г. - 119 с. - (Библиотека классиков точнаго знания;N 4). - Б. ц.

ББК 22.122
Рубрики: Математическая логика
Кл.слова (ненормированные):
МАТЕМАТИКА

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

1..20 21..23