Логин
(фамилия)
:
Пароль
(штрих-код)
:
Сводный каталог НТЛ по Ярославской области - результаты поиска
Базы данных:
Электронный каталог МУБиНТ, г. Ярославль
Электронный каталог МУБиНТ, г. Рыбинск
Центр иностранной литературы
Сводный каталог НТЛ по Ярославской области
"Руконт"-Национальный цифровой ресурс
Электронный каталог выпускных квалификационных работ
Виды поиска:
Стандартный
Расширенный
По словарю
Поиск в найденном
Ключевые слова
Автор
Заглавие
Год издания
Найдено в других БД:
Электронный каталог МУБиНТ, г. Ярославль (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