Skip to content 
el cat en
База данных: Electronic catalog FEFU
Page 3, Results: 56
Отмеченные записи: 0
21.
Подробнее
Гудстейн, Рейбен Луис.
Рекурсивный математический анализ / Р. Л. Гудстейн ; пер. А. О. Слисенко. - Москва : Наука, 1970. - 472 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
рекурсивный анализ -- теория чисел -- математический анализ -- математика -- рекурсивная арифметика -- теоремы арифметики -- примитивная рекурсия
Доп.точки доступа:
Слисенко, А. О. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Гудстейн, Рейбен Луис.
Рекурсивный математический анализ / Р. Л. Гудстейн ; пер. А. О. Слисенко. - Москва : Наука, 1970. - 472 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
рекурсивный анализ -- теория чисел -- математический анализ -- математика -- рекурсивная арифметика -- теоремы арифметики -- примитивная рекурсия
Доп.точки доступа:
Слисенко, А. О. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
22.
Подробнее
Гжегорчик, Анджей.
Популярная логика. Общедоступный очерк логики предложений / А. Гжегорчик ; пер. с пол. С. П. Беляева. - Изд. 2-е, испр. - Москва : Наука, 1972. - 111 c.
Кл.слова (ненормированные):
математическая логика -- Логика -- логика предложений -- логика и философия -- правило отделения (математика)
Доп.точки доступа:
Беляев, С. П. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Гжегорчик, Анджей.
Популярная логика. Общедоступный очерк логики предложений / А. Гжегорчик ; пер. с пол. С. П. Беляева. - Изд. 2-е, испр. - Москва : Наука, 1972. - 111 c.
| УДК |
Кл.слова (ненормированные):
математическая логика -- Логика -- логика предложений -- логика и философия -- правило отделения (математика)
Доп.точки доступа:
Беляев, С. П. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
23.
Подробнее
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; пер. с англ. В. А. Душского, М. И. Кановича, Е. Ю. Ногиной. - Москва : Мир, 1972. - 624 c. - Библиогр. : с. 587-599.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
рекурсивная инвариантность -- теория рекурсивных функций -- вычислимость -- теория алгоритмов -- алгоритм -- математическая логика -- творческие множества (математика) -- сводимости (математика) -- гиперпростые множества -- математика -- неполные множества -- теорема о рекурсии
Доп.точки доступа:
Душский, В. А. \пер.\
Канович, М. И. \пер.\
Ногина, Е. Ю. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Роджерс, Х.
Теория рекурсивных функций и эффективная вычислимость / Х. Роджерс ; пер. с англ. В. А. Душского, М. И. Кановича, Е. Ю. Ногиной. - Москва : Мир, 1972. - 624 c. - Библиогр. : с. 587-599.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
рекурсивная инвариантность -- теория рекурсивных функций -- вычислимость -- теория алгоритмов -- алгоритм -- математическая логика -- творческие множества (математика) -- сводимости (математика) -- гиперпростые множества -- математика -- неполные множества -- теорема о рекурсии
Доп.точки доступа:
Душский, В. А. \пер.\
Канович, М. И. \пер.\
Ногина, Е. Ю. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
24.
Подробнее
Линник, Юрий Владимирович.
Метод наименьших квадратов и основы математико-статистической теории обработки наблюдений / Ю. В. Линник. - Москва : Физматгиз, 1958. - 333 c.
Кл.слова (ненормированные):
математико-статитическая теория обработки -- прямые равноточные измерения -- обработка наблюдений -- теория вероятностей -- математическая статистика -- корреляты -- интерполирование -- метод наименьших квадратов -- математика
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Линник, Юрий Владимирович.
Метод наименьших квадратов и основы математико-статистической теории обработки наблюдений / Ю. В. Линник. - Москва : Физматгиз, 1958. - 333 c.
| УДК |
Кл.слова (ненормированные):
математико-статитическая теория обработки -- прямые равноточные измерения -- обработка наблюдений -- теория вероятностей -- математическая статистика -- корреляты -- интерполирование -- метод наименьших квадратов -- математика
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
25.
Подробнее
Черч, А
Введение в математическую логику : пер. с англ / А. Черч. - Москва : Иностранная литература, 1960 - .
т. 1. - 484 c.
Кл.слова (ненормированные):
синтаксис (математика) -- переменные (математика) -- математическая логика -- константы -- функциональные исчисления -- кванторы -- пропозициональное исчисление -- математика -- функции -- семантика (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Черч, А
Введение в математическую логику : пер. с англ / А. Черч. - Москва : Иностранная литература, 1960 - .
т. 1. - 484 c.
| УДК |
Кл.слова (ненормированные):
синтаксис (математика) -- переменные (математика) -- математическая логика -- константы -- функциональные исчисления -- кванторы -- пропозициональное исчисление -- математика -- функции -- семантика (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
26.
Подробнее
Ефимов, Николай Владимирович.
Квадратичные формы и матрицы : учебное пособие / Н. В. Ефимов. - Изд. 2-е, стер. - Москва : Физматгиз, 1963. - 159 c. : ил. - (Избранные главы высшей математики для инженеров и студентов втузов)
Кл.слова (ненормированные):
математика -- декартовы прямоугольные координаты -- симметрические линейные преобразования -- инварианты -- матрицы -- линии второго порядка -- уравнения центра -- поверхности второго порядка -- плоскости
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Ефимов, Николай Владимирович.
Квадратичные формы и матрицы : учебное пособие / Н. В. Ефимов. - Изд. 2-е, стер. - Москва : Физматгиз, 1963. - 159 c. : ил. - (Избранные главы высшей математики для инженеров и студентов втузов)
| УДК |
Кл.слова (ненормированные):
математика -- декартовы прямоугольные координаты -- симметрические линейные преобразования -- инварианты -- матрицы -- линии второго порядка -- уравнения центра -- поверхности второго порядка -- плоскости
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
27.
Подробнее
Х 204
Математическая логика и теория множеств : (о соотношении абстрактного и конкретного) / Харин Н.Н.; Под ред. Харапинский Я.Л. - [Б. м.] : Росвузиздат, 1963. - 192 c.
Кл.слова (ненормированные):
абстрактное -- общая логика -- математическая логика -- философские исследования -- множества -- теория множеств -- конкретное -- математика -- формальная логика -- НЛ
Доп.точки доступа:
Харапинский Я.Л. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Х 204
Математическая логика и теория множеств : (о соотношении абстрактного и конкретного) / Харин Н.Н.; Под ред. Харапинский Я.Л. - [Б. м.] : Росвузиздат, 1963. - 192 c.
| УДК |
Кл.слова (ненормированные):
абстрактное -- общая логика -- математическая логика -- философские исследования -- множества -- теория множеств -- конкретное -- математика -- формальная логика -- НЛ
Доп.точки доступа:
Харапинский Я.Л. \ред.\
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
28.
Подробнее
Депман, Иван Яковлевич.
Первое знакомство с математической логикой / И. Я. Депман ; Общество "Знание" РСФСР, Ленинградское отделение. - Ленинград : [б. и.], 1963. - 56 c. : ил.
Кл.слова (ненормированные):
история математики -- алгебра высказываний -- логические уравнения -- алгебра логики -- математика -- алгебра -- математическая логика
Доп.точки доступа:
"Знание", общество РСФСР. Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Депман, Иван Яковлевич.
Первое знакомство с математической логикой / И. Я. Депман ; Общество "Знание" РСФСР, Ленинградское отделение. - Ленинград : [б. и.], 1963. - 56 c. : ил.
| УДК |
Кл.слова (ненормированные):
история математики -- алгебра высказываний -- логические уравнения -- алгебра логики -- математика -- алгебра -- математическая логика
Доп.точки доступа:
"Знание", общество РСФСР. Ленинградское отделение
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
29.
Подробнее
Яблонский, Сергей Всеволодович.
Функции алгебры логики и классы / С. В. Яблонский, Г. П. Гаврилов, В. Б. Кудрявцев. - Москва : Наука, 1966. - 119 c. : табл. - (Математическая логика и основания математики). - Библиогр. : с. 113-115.
Кл.слова (ненормированные):
функции -- замкнутые классы -- математика -- алгебра логики -- Поста классы -- элементарные функции -- Жегалкина теорема -- теорема о разложении -- компоненты функции -- нелинейные функции -- линейность
Доп.точки доступа:
Гаврилов, Гарий Петрович
Кудрявцев, Валерий Борисович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Яблонский, Сергей Всеволодович.
Функции алгебры логики и классы / С. В. Яблонский, Г. П. Гаврилов, В. Б. Кудрявцев. - Москва : Наука, 1966. - 119 c. : табл. - (Математическая логика и основания математики). - Библиогр. : с. 113-115.
| УДК |
Кл.слова (ненормированные):
функции -- замкнутые классы -- математика -- алгебра логики -- Поста классы -- элементарные функции -- Жегалкина теорема -- теорема о разложении -- компоненты функции -- нелинейные функции -- линейность
Доп.точки доступа:
Гаврилов, Гарий Петрович
Кудрявцев, Валерий Борисович
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
30.
Подробнее
Гильберт, Давид.
Основы теоретической логики / Д. Гильберт, В. Аккерман; пер. с нем. А. А. Ерофеева, ред., вступ. ст. и комент. С. А. Яновского. - Москва : Иностранная литература, 1947. - 304 c.
Парал. тит. л. на ин. яз.
Кл.слова (ненормированные):
теория множеств -- Биневский, Александр Александрович (библиотека) -- математика -- Логика -- аксиома сводимости -- принцип двойственности -- предикат
Доп.точки доступа:
Аккерман, В.
Ерофеев, А. А. \пер.\
Яновский, С. А. \ред.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Гильберт, Давид.
Основы теоретической логики / Д. Гильберт, В. Аккерман; пер. с нем. А. А. Ерофеева, ред., вступ. ст. и комент. С. А. Яновского. - Москва : Иностранная литература, 1947. - 304 c.
Парал. тит. л. на ин. яз.
| УДК |
Кл.слова (ненормированные):
теория множеств -- Биневский, Александр Александрович (библиотека) -- математика -- Логика -- аксиома сводимости -- принцип двойственности -- предикат
Доп.точки доступа:
Аккерман, В.
Ерофеев, А. А. \пер.\
Яновский, С. А. \ред.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1)
Page 3, Results: 56