Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=математическая логика<.>)
Общее количество найденных документов
:
23
Показаны документы
с 1 по 20
1..20
21..23
1.
Ю4я73
Г65
Гончаров, Сергей Севостьянович
.
Введение в логику и методологию науки [Текст] : нелитературный текст / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - М. : Интерпракс,Новосибирск:Ин-т матем.СО РАН, 1994. - 256с. - 5000.2000 р.
ББК
Ю4я73
Рубрики:
философия математики
логика
математическая логика
Кл.слова (ненормированные):
программа Гилберта
--
учебник Ю4
--
культурная инициатива
Держатели документа:
ЯрГУ
Доп.точки доступа:
Ершов, Юрий Леонидович; Самохвалов, Климентий Федорович ЯрГУ/КХ/НБ, ЯрГУ/УФ/НБ
Свободных экз. нет
Найти похожие
2.
В12
В31
Верещагин, Николай Константинович
.
Релятивизуемость в структурной теории сложности вычислений [Текст] : автореферат диссертации на соискание ученой степени доктора физико-математических наук: Специальность 01.01.06 / Н. К. Верещагин. - М : Московский государственный университет им. М. В. Ломоносова, 1995. - 25с. : ил. -
ББК
В12
Рубрики:
Математическая логика
Кл.слова (ненормированные):
авторефераты В12
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
3.
В12
П25
Пентус, Мати Рейнович
.
Исчисление Ламбека и формальные грамматики [Текст] : автореферат диссертации на соискание ученой степени кандидата физико-математических наук: Специальность 01.01.06 / М. Р. Пентус. - М : Московский государственный университет им. М. В. Ломоносова, 1996. - 12с. : ил. -
ББК
В12
Рубрики:
Математическая логика
Кл.слова (ненормированные):
авторефераты В12
--
формальные грамматики
--
исчисление Ламбека
Держатели документа:
ЯрГУ ЯрГУ/ЧЗ/НБ
Свободных экз. нет
Найти похожие
4.
В127
К82
Криницкий, Н. А.
Аналитическая теория алгоритмов [Текст] : нелитературный текст / Н. А. Криницкий. - М. : Наука, 1994. - 351с. -
ISBN
5-02-014387-1 : 30 р.
ББК
В127
Рубрики:
математическая логика
математическая кибернетика
Кл.слова (ненормированные):
аналитическая теория алгоритмов
--
алгоритмы
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
5.
В12я73
Я14
Яблонский, С. В.
Анализ и синтез схем в многозначных логиках [Текст] : учебное пособие для вузов. Ч.1 / Яблонский С. В., Гаврилов Г. П., Набебин А. А. - [Б. м. : б. и.]. - 117с. - 10 р.
ББК
В12я73
Рубрики:
математическая логика
Кл.слова (ненормированные):
учебник В12
Держатели документа:
ЯрГУ
Доп.точки доступа:
Гаврилов, Г. П.; Набебин, А. А. ЯрГУ/Ф4/НБ
Свободных экз. нет
Найти похожие
6.
В12
Т21
Тарский, Альфред
.
Введение в логику и методологию дедуктивных наук [Текст] : пер.с англ. / А. Тарский ; Под ред. Яновской С. А. - М. : Инязиздат, 1948. - 327с. - 20 р.
ББК
В12
Рубрики:
математическая логика
Кл.слова (ненормированные):
логика
--
дедуктивные науки
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
7.
В12
Ш37
Шевченко, Владимир Егорович
.
Некоторые способы решения логических задач [Текст] : нелитературный текст / В. Е. Шевченко. - Киев : Вища школа, 1979. - 79с. - (Б-чка физико-математической школы.Математика). - 10 р.
ББК
В12
Рубрики:
Математическая логика
Кл.слова (ненормированные):
задачи В12
Держатели документа:
ЯрГУ ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
8.
В126я73
Б43
Белов, Юрий Анатольевич
.
Элементы теории множеств и математической логики [Текст] : учебное пособие для вузов / Ю. А. Белов ; Ярославский государственный университет им. П. Г. Демидова. - Ярославль : Ярославский государственный университет им. П. Г. Демидова, 2002. - 58с. -
ISBN
5-8397-0217-Х : 17.50 р.
ББК
В126я73
Рубрики:
Математика
Математическая логика
Кл.слова (ненормированные):
учебник В126
--
множества
--
теория множеств
--
ЯрГУ
Держатели документа:
ЯрГУ
Доп.точки доступа:
Ярославский государственный университет им. П. Г. Демидова ЯрГУ/НА/НБ, ЯрГУ/ЧЗ/НБ, ЯрГУ/СБО/НБ, ЯрГУ/Ф7/НБ
Свободных экз. нет
Найти похожие
9.
В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