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

Базы данных:

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

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

Виды поиска:

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

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

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

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

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

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

41.

В1я9
Б18

Байиф, Жан-Клод.
Логические задачи [Текст] : нелитературный текст / Ж.Байиф ; Пер.с фр. - М. : Мир, 1983. - 172с. - 7.00 р.

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

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

42.

В12я54
И88

Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике.7 [Текст] : сборник работ / Под ред.Ю.В.Матиясевича,А.О.Слисенко. - Л. : Наука, 1976. - 229с. - (Записки научных семинаров ЛОМИ,том 60). - 10.00 р.

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

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

43.

В12я43
И88

Пхакадзе, Ш. С.
Исследования по математической логике и теории алгоритмов [Текст] : нелитературный текст / Под ред,Ш.С.Пхакадзе. - Тбилиси : Тбилис.ГУ, 1982. - 129с. - (Труды Ин-та прикладной математики им.И.Н.Векуа.Т.11). - 10.00 р.

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

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

44.

В12я54
М34

Математическая логика и алгоритмические проблемы [Текст] : нелитературный текст / Отв. ред. Ю. Л. Ершов; АН СССР. Сибирское отд-ние. - Новосибирск : Наука, 1989. - 189 с. - (Труды Ин-та математики, том.12). - ISBN 5-02-028623-0 : 20.00 р.

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

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

45.

В12я54
И88

Исследования по конструктивной математике и математической логике. I [Текст] : сборник работ / Под ред. А. О. Слисенко. - М. : Вычислительный центр АН СССР, 1967. - 218 с. - (Записки научных семинаров Ленинградского отделения Математического ин-та им. В. А. Стеклова АН СССР(ЛОМИ). Т.4). - 10.00 р.

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

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

46.

В12
Г60

Голдблатт, Роберт.
Топосы. Категорный анализ логики [Текст] : нелитературный текст / Р.Голдблатт ; Пер. с англ. - М. : Мир, 1983. - 486 с. - 30.00 р.

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

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

47.

В12
Б64

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

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

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

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

48.

В12
Г93

Гудстейн, Рейбен Луис.
Математическая логика [Текст] : нелитературный текст / Р. Л. Гудстейн. Пер.с англ. - М. : Иностр. лит., 1961. - 162 с. - (Б-ка сборника "Математика"). - 10.00 р.

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

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

49.

В127я54
П78

Оревков, В. П.
Проблемы конструктивного направления в математике. 4 [Текст] : сборник работ / под ред. В. П. Оревкова, Н. А. Шанина. - Л. : Наука, 1967. - 264 с. - (Математический ин-т им. В. А. Стеклова. Труды. Т. 93). - 40.00 р.

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

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

50.

В12я54
Т33

Минц, Г. Е.
Теоретические применения методов математической логики. 2 [Текст] : сборник работ / под ред. Г. Е. Минца, В. П. Оревкова. - Л. : Наука, 1977. - 149 с. - (Записки научных семинаров ЛОМИ, том 68). - 5.00 р.

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

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

51.

В174
А39

Акимов, Олег Евгеньевич.
Дискретная математика : логика, группы, графы [Текст] : нелитературный текст / О. Е. Акимов. - М. : Лаборатория Базовых Данных, 2001. - 349 с. - (Технический университет). - ISBN 5-93208-053-1 : 70.00 р.

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

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

52.

В126
В74

Вопенка, Петр.
Математика в альтернативной теории множеств [Текст] : нелитературный текст / П. Вопенка ; Пер.с англ. - М. : Мир, 1983. - 150 с. - (Математика.Новое в зарубежной науке.Вып.31). - 10.00 р.

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

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

53.

В12я54
И88

Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике.6 [Текст] : сборник работ / Под ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1974. - 163 с. - (Записки научных семинаров ЛОМИ,том 40). - 5.00 р.

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

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

54.

В12я54
И88

Слисенко, А. О.
Исследования по конструктивной математике и математической логике.3 [Текст] : сборник работ / Под ред. А. О. Слисенко. - Л. : Наука, 1969. - 187 с. - (Записки научных семинаров ЛОМИ,том 16). - 5.00 р.

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

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

55.

В12я54
Т33

Маслов, С. Ю.
Теоретические применения методов математической логики. 1 [Текст] : сборник работ / под ред. С. Ю. Маслова, Г. Е. Минца. - Л. : Наука, 1975. - 180 с. - (Записки научных семинаров ЛОМИ, том 49). - 5.00 р.

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

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

56.

В12
К78

Крайзель, Г.
Исследования по теории доказательств [Текст] : сборник статей / Г. Крайзель ; пер. с англ. - М. : Мир, 1981. - 289 с. - (Математика. Новое в зарубежной науке, вып. 23). - 5.00 р.

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

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

57.

В12я54
И88

Матиясевич, Ю. В.
Исследования по конструктивной математике и математической логике. 4 [Текст] : сборник работ / под. ред. Ю. В. Матиясевича, А. О. Слисенко. - Л. : Наука, 1971. - 294 с. - (Записки научных семинаров ЛОМИ, том 20). - 10.00 р.

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

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

58.

В12я54
М34

Соболев, С. Л.
Математическая логика и теория алгоритмов [Текст] : нелитературный текст / отв. ред. С. Л. Соболев. - Новосибирск : Наука, 1982. - 176 с. - (Труды Ин-та математики, т. 2). - 10.00 р.

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

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

59.

В12я54
Т33

Ершов, Ю. Л.
Теория моделей и ее применения [Текст] : сборник науч. тр. / отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1988. - 183 с. - (Труды Ин-та математики, т. 8). - 10.00 р.

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

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

60.

В12я54
М34

Ершов, Ю. Л.
Математическая логика и теория алгоритмов [Текст] : нелитературный текст / отв. ред. Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Ин-т математики СО РАН, 1993. - 201 с. - (Труды Ин-та математики СО РАН, т. 25). - ISBN 5-86134-004-8 : 10.00 р.

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

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

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