Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 2, Результатов: 56
Отмеченные записи: 0
11.
Подробнее
Шенфилд Дж.
Степени неразрешимости : Пер. с англ. / Шенфилд Дж.; Под ред. Ершов Ю.Л. - М. : Наука, 1977. - 192 c. - (Математическая логика и основания математики)
Кл.слова (ненормированные):
степени (мат) -- метод приоритета -- степени неразрешимости -- изоморфизмы -- минимальные степени -- несравнимые степени -- простые множества -- рекурсивные функции -- НЛ -- теорема о разложении -- индексные множества -- алгоритмы -- математика -- максимальные множества
Доп.точки доступа:
Ершов Ю.Л. \ред.\
Свободных экз. нет
Шенфилд Дж.
Степени неразрешимости : Пер. с англ. / Шенфилд Дж.; Под ред. Ершов Ю.Л. - М. : Наука, 1977. - 192 c. - (Математическая логика и основания математики)
| УДК |
Кл.слова (ненормированные):
степени (мат) -- метод приоритета -- степени неразрешимости -- изоморфизмы -- минимальные степени -- несравнимые степени -- простые множества -- рекурсивные функции -- НЛ -- теорема о разложении -- индексные множества -- алгоритмы -- математика -- максимальные множества
Доп.точки доступа:
Ершов Ю.Л. \ред.\
Свободных экз. нет
12.
Подробнее
Целищев, Виталий Валентинович.
Понятие объекта в модальной логике / Целищев В.В.; АН СССР.СО.Ин-т истории,филологии и философии. - Новосибирск : Наука, 1978. - 174 c.
Кл.слова (ненормированные):
математика -- объективность -- философская доктрина -- модальные парадоксы -- модальность -- возможные миры -- элиминация -- реализм -- себетождественность -- дескрипции -- Логика -- кванторная модальная логика -- парадоксы -- индивидные сущности -- модальная логика -- объект -- эссенциализм -- НЛ
Доп.точки доступа:
Институт истории, филологии и философии (Новосибирск)
Свободных экз. нет
Целищев, Виталий Валентинович.
Понятие объекта в модальной логике / Целищев В.В.; АН СССР.СО.Ин-т истории,филологии и философии. - Новосибирск : Наука, 1978. - 174 c.
| УДК |
Кл.слова (ненормированные):
математика -- объективность -- философская доктрина -- модальные парадоксы -- модальность -- возможные миры -- элиминация -- реализм -- себетождественность -- дескрипции -- Логика -- кванторная модальная логика -- парадоксы -- индивидные сущности -- модальная логика -- объект -- эссенциализм -- НЛ
Доп.точки доступа:
Институт истории, филологии и философии (Новосибирск)
Свободных экз. нет
13.
Подробнее
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Такеути, Гаиси.
Теория доказательств / Г. Такеути ; пер. с англ. С. К. Соболева. - Москва : Мир, 1978. - 412 c.
Парал. тит. л. на англ. яз.
| УДК |
Кл.слова (ненормированные):
устранимость сечений -- математическая логика -- математический анализ -- проблемы непротиворечивости -- предикаты -- простая теория типов -- Пеано арифметика -- теория доказательств -- принципы рефлексии -- инфинитарная логика -- ординальные диаграммы -- математика
Доп.точки доступа:
Соболев, С. К. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
14.
Подробнее
Манин, Юрий Иванович.
Доказуемое и недоказуемое / Ю. И. Манин. - Москва : Советское радио, 1979. - 167 c. - (Кибернетика). - Библиогр. : с. 161-162.
Кл.слова (ненормированные):
математика -- счётные модели -- булевы алгебры -- квантовая логика -- тавтологии -- парадокс Сколема -- математическое доказательство -- кибернетика -- математические методы
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Манин, Юрий Иванович.
Доказуемое и недоказуемое / Ю. И. Манин. - Москва : Советское радио, 1979. - 167 c. - (Кибернетика). - Библиогр. : с. 161-162.
| УДК |
Кл.слова (ненормированные):
математика -- счётные модели -- булевы алгебры -- квантовая логика -- тавтологии -- парадокс Сколема -- математическое доказательство -- кибернетика -- математические методы
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
15.
Подробнее
Стяжкин, Н. И.
Формирование математической логики / Н. И. Стяжкин. - Москва : Наука, 1967. - 508 c.
Свободных экз. нет
Стяжкин, Н. И.
Формирование математической логики / Н. И. Стяжкин. - Москва : Наука, 1967. - 508 c.
| УДК |
Свободных экз. нет
16.
Подробнее
С 812
519.5 С 812 / С 812-Абонемент учебной и научной литературы
519 С 812 / С 812-Хранение Отдела организации и использования фонда
519.5 С 812 / С 812-Абонемент учебной и научной литературы
519.5 С 812 / С 812-Абонемент учебной и научной литературы
519.5 С 812 / С 812-Абонемент учебной и научной литературы
Столл, Роберт Р.
Множества. Логика. Аксиоматические теории / Р. Р. Cтолл ; пер. с англ. Ю. А. Гастева, И. Х. Шмаина. - Москва : Просвещение, 1968. - 231 c. : табл. - (Математическое просвещение.)
Указ. терминов : с. 225-230. Именной указ. : с. 231.
Рубрики: математика--теория множеств
алгебра--введение в анализ
Кл.слова (ненормированные):
отношения (математика) -- Биневский, Александр Александрович (библиотека) -- алгебра множеств -- булевы алгебры -- Логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Шмаин, И. Х. \пер.\
Экземпляры всего: 5
Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1)
С 812
519.5 С 812 / С 812-Абонемент учебной и научной литературы
519 С 812 / С 812-Хранение Отдела организации и использования фонда
519.5 С 812 / С 812-Абонемент учебной и научной литературы
519.5 С 812 / С 812-Абонемент учебной и научной литературы
519.5 С 812 / С 812-Абонемент учебной и научной литературы
Столл, Роберт Р.
Множества. Логика. Аксиоматические теории / Р. Р. Cтолл ; пер. с англ. Ю. А. Гастева, И. Х. Шмаина. - Москва : Просвещение, 1968. - 231 c. : табл. - (Математическое просвещение.)
Указ. терминов : с. 225-230. Именной указ. : с. 231.
| УДК |
Рубрики: математика--теория множеств
алгебра--введение в анализ
Кл.слова (ненормированные):
отношения (математика) -- Биневский, Александр Александрович (библиотека) -- алгебра множеств -- булевы алгебры -- Логика
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Шмаин, И. Х. \пер.\
Экземпляры всего: 5
Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (4), Хранение Отдела организации и использования фонда (1)
17.
Подробнее
К 268
Основания математической логики [Текст] : пер. с англ. / Карри Хаскелл Б. - М. : Мир, 1969. - 568 c.
Кл.слова (ненормированные):
кванторы -- НЛ -- исчисления -- теория модальностей -- математическая логика -- математика -- Биневский, Александр Александрович (библиотека) -- отрицание -- методология математики -- формальные системы -- импликация
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
К 268
Основания математической логики [Текст] : пер. с англ. / Карри Хаскелл Б. - М. : Мир, 1969. - 568 c.
| УДК |
Кл.слова (ненормированные):
кванторы -- НЛ -- исчисления -- теория модальностей -- математическая логика -- математика -- Биневский, Александр Александрович (библиотека) -- отрицание -- методология математики -- формальные системы -- импликация
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
18.
Подробнее
Фрейденталь, Ханс.
Язык логики : пер. с англ. / Х. Фрейденталь. - Москва : Наука, 1969. - 135 c.
Кл.слова (ненормированные):
Логика -- математика -- отображения (математика) -- формальная логика -- язык (математика) -- метаязык -- множества -- предикаты
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Фрейденталь, Ханс.
Язык логики : пер. с англ. / Х. Фрейденталь. - Москва : Наука, 1969. - 135 c.
| УДК |
Кл.слова (ненормированные):
Логика -- математика -- отображения (математика) -- формальная логика -- язык (математика) -- метаязык -- множества -- предикаты
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
19.
Подробнее
Задачи по логике. Пособие для студентов-математиков НГУ / Лавров И.А., Максимова Л.Л.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1970. - 112 c.
Кл.слова (ненормированные):
математика -- аксиоматические теории -- фильтры -- функции -- теория множеств -- предикаты -- Логика -- математическая логика -- бинарные отношения -- фильтрованные произведения -- алгебра высказываний -- ординальные числа -- кардинальные числа
Доп.точки доступа:
Максимова, Л. Л. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
Задачи по логике. Пособие для студентов-математиков НГУ / Лавров И.А., Максимова Л.Л.; Новосиб.ун-т. - Новосибирск : Изд-во Новосибирского университета, 1970. - 112 c.
| УДК |
Кл.слова (ненормированные):
математика -- аксиоматические теории -- фильтры -- функции -- теория множеств -- предикаты -- Логика -- математическая логика -- бинарные отношения -- фильтрованные произведения -- алгебра высказываний -- ординальные числа -- кардинальные числа
Доп.точки доступа:
Максимова, Л. Л. \авт.\
Новосибирский государственный университет
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
20.
Подробнее
Избранные вопросы алгебры и логики : сборник посвящённый памяти А. И. Мальцева / [под ред. Ю. Л. Ершова] ; Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск : Наука, 1973. - 338 c.
Кл.слова (ненормированные):
теория колец -- Логика -- математика -- алгебра -- теория групп -- теория моделей -- математическая логика
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Избранные вопросы алгебры и логики : сборник посвящённый памяти А. И. Мальцева / [под ред. Ю. Л. Ершова] ; Академия наук СССР, Сибирское отделение, Институт математики. - Новосибирск : Наука, 1973. - 338 c.
| УДК |
Кл.слова (ненормированные):
теория колец -- Логика -- математика -- алгебра -- теория групп -- теория моделей -- математическая логика
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Страница 2, Результатов: 56