Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 54
Отмеченные записи: 0
1.
Подробнее
Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; [Г. Е. Минц (отв. ред.)]. - Москва : Едиториал УРСС, 2003. - 543 c. : портр. - Библиогр. : с. 520-525.
Прил. : с. 513-519.
Рубрики: математическая логика
доказательств теория
Кл.слова (ненормированные):
философия математики -- теория доказательств -- конструктивная теория доказательств -- конструктивизм математический -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Доп.точки доступа:
Минц, Г. Е. \ред.\
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Хранение ОО и ИЕФ (Пушкинская 10) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Хранение ОО и ИЕФ (Пушкинская 10) (1)
Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; [Г. Е. Минц (отв. ред.)]. - Москва : Едиториал УРСС, 2003. - 543 c. : портр. - Библиогр. : с. 520-525.
Прил. : с. 513-519.
| УДК |
Рубрики: математическая логика
доказательств теория
Кл.слова (ненормированные):
философия математики -- теория доказательств -- конструктивная теория доказательств -- конструктивизм математический -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Доп.точки доступа:
Минц, Г. Е. \ред.\
Экземпляры всего: 3
Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Хранение ОО и ИЕФ (Пушкинская 10) (1)
Свободны: Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1), Хранение ОО и ИЕФ (Пушкинская 10) (1)
2.
Подробнее
Кац, Марк.
Математика и логика. Ретроспектива и перспективы / М. Кац, С. Улам ; под ред. И. М. Яглома ; пер. с англ., Н. И. Плужниковой. - Москва : Мир, 1971. - 251 с. : табл., ил. - (Современная математика). - Библиогр. в тексте.
Парал. тит. л. на англ. яз.
Рубрики: математика
математическая логика
Кл.слова (ненормированные):
теория чисел -- трансцендентные числа -- комбинаторная топология -- Шпернера лемма -- теория вероятностей -- множества (математика) -- алгебраическая топология -- группы гомологий -- аналитическая геометрия -- относительности теория -- эргодические теоремы -- линейные преобразования (математика) -- приближения рациональные
Доп.точки доступа:
Улам, Станислав М
Яглом, Исаак Моисеевич \ред.\
Плужникова, Н. И. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Кац, Марк.
Математика и логика. Ретроспектива и перспективы / М. Кац, С. Улам ; под ред. И. М. Яглома ; пер. с англ., Н. И. Плужниковой. - Москва : Мир, 1971. - 251 с. : табл., ил. - (Современная математика). - Библиогр. в тексте.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математика
математическая логика
Кл.слова (ненормированные):
теория чисел -- трансцендентные числа -- комбинаторная топология -- Шпернера лемма -- теория вероятностей -- множества (математика) -- алгебраическая топология -- группы гомологий -- аналитическая геометрия -- относительности теория -- эргодические теоремы -- линейные преобразования (математика) -- приближения рациональные
Доп.точки доступа:
Улам, Станислав М
Яглом, Исаак Моисеевич \ред.\
Плужникова, Н. И. \пер.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
3.
Подробнее
Л 656
510 Л 656 / Л 656-Абонемент учебной и научной литературы
510 Л 656 / Л 656-Ч/З о. Русский
510 Л 656 / Л 656-Хранение Отдела организации и использования фонда
Лихтарников, Леонид Моисеевич.
Первое знакомство с математической логикой : книга для начинающих изучать математическую логику и преподавателей / Л. М. Лихтарников. - Санкт-Петербург : Лань, 1997. - 109 c. : ил. - Библиогр. : с. 107.. - ISBN 5866170434
Рубрики: математическая логика--учебные издания
Кл.слова (ненормированные):
логические операции -- алгебра логики (математика) -- Буля алгебра -- алгебра множеств -- понятие предиката (математика) -- кванторные операции (математика) -- Гильберта проблемы (математика) -- аксиоматический метод (математическая логика)
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Л 656
510 Л 656 / Л 656-Абонемент учебной и научной литературы
510 Л 656 / Л 656-Ч/З о. Русский
510 Л 656 / Л 656-Хранение Отдела организации и использования фонда
Лихтарников, Леонид Моисеевич.
Первое знакомство с математической логикой : книга для начинающих изучать математическую логику и преподавателей / Л. М. Лихтарников. - Санкт-Петербург : Лань, 1997. - 109 c. : ил. - Библиогр. : с. 107.. - ISBN 5866170434
| УДК |
Рубрики: математическая логика--учебные издания
Кл.слова (ненормированные):
логические операции -- алгебра логики (математика) -- Буля алгебра -- алгебра множеств -- понятие предиката (математика) -- кванторные операции (математика) -- Гильберта проблемы (математика) -- аксиоматический метод (математическая логика)
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1), Хранение Отдела организации и использования фонда (1)
4.
Подробнее
Лихтарников, Леонид Моисеевич.
Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие для вузов / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 c. : ил. - Библиогр. : с. 282.. - ISBN 5811400829
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- Буля алгебра -- математические теории -- исчисление высказываний -- логика предикатов -- алгоритмы (математическая логика) -- аксиомы (математическая логика) -- задачники (математическая логика) -- практикумы учебные (математическая логика)
Доп.точки доступа:
Сукачева, Т. Г.
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Ч/З о. Русский (2), ЕКВ ауд.402 учебная (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2), ЕКВ ауд.402 учебная (1)
Лихтарников, Леонид Моисеевич.
Математическая логика : курс лекций : задачник-практикум и решения : учебное пособие для вузов / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 c. : ил. - Библиогр. : с. 282.. - ISBN 5811400829
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
алгебра логики -- Буля алгебра -- математические теории -- исчисление высказываний -- логика предикатов -- алгоритмы (математическая логика) -- аксиомы (математическая логика) -- задачники (математическая логика) -- практикумы учебные (математическая логика)
Доп.точки доступа:
Сукачева, Т. Г.
Экземпляры всего: 5
Абонемент учебной и научной литературы (2), Ч/З о. Русский (2), ЕКВ ауд.402 учебная (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (2), ЕКВ ауд.402 учебная (1)
5.
Подробнее
Ф 561
87.4 Ф 561 / Ф 561-Абонемент учебной и научной литературы
87.4 Ф 561 / Ф 561-Хранение Отдела организации и использования фонда
87.4 Ф 561 / Ф 561-Ч/З о. Русский
Философия в современном мире: философия и логика : [сборник статей] / Институт философии (Москва) ; Академия наук СССР, Институт философии ; ответственные редакторы П. В. Таванец, В. А. Смирнов. - Москва : Наука, 1974. - 479 c.
ББК 87.45я43
Рубрики: логика научного познания--сборники
математическая логика --сборники
Кл.слова (ненормированные):
философия логики -- философия математики -- логика философии -- логика прагматическая -- логические теории -- Биневский, Александр Александрович (библиотека)
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Смирнов, В. А. \ред.\
Институт философии (Москва)
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Ф 561
87.4 Ф 561 / Ф 561-Абонемент учебной и научной литературы
87.4 Ф 561 / Ф 561-Хранение Отдела организации и использования фонда
87.4 Ф 561 / Ф 561-Ч/З о. Русский
Философия в современном мире: философия и логика : [сборник статей] / Институт философии (Москва) ; Академия наук СССР, Институт философии ; ответственные редакторы П. В. Таванец, В. А. Смирнов. - Москва : Наука, 1974. - 479 c.
Рубрики: логика научного познания--сборники
математическая логика --сборники
Кл.слова (ненормированные):
философия логики -- философия математики -- логика философии -- логика прагматическая -- логические теории -- Биневский, Александр Александрович (библиотека)
Доп.точки доступа:
Таванец, Петр Васильевич \ред.\
Смирнов, В. А. \ред.\
Институт философии (Москва)
Экземпляры всего: 3
Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Хранение Отдела организации и использования фонда (1), Ч/З о. Русский (1)
6.
Подробнее
Столяр, Абрам Аронович.
Как математика ум в порядок приводит / А. А. Столяр. - Минск : Вышэйшая школа, 1982. - 205 c. : ил., табл.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика математики -- математические модели -- математические понятия -- логический язык математики -- математические предложения
Экземпляры всего: 5
Абонемент 301 (2), ЕКВ ауд.301 учебная (2), Ч/З о. Русский (1)
Свободны: Абонемент 301 (2), ЕКВ ауд.301 учебная (2), Ч/З о. Русский (1)
Столяр, Абрам Аронович.
Как математика ум в порядок приводит / А. А. Столяр. - Минск : Вышэйшая школа, 1982. - 205 c. : ил., табл.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика математики -- математические модели -- математические понятия -- логический язык математики -- математические предложения
Экземпляры всего: 5
Абонемент 301 (2), ЕКВ ауд.301 учебная (2), Ч/З о. Русский (1)
Свободны: Абонемент 301 (2), ЕКВ ауд.301 учебная (2), Ч/З о. Русский (1)
7.
Подробнее
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 3-е. - Москва : Наука, 1984. - 319 c. : ил. - Библиогр. : с. 296-309.
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова. - Изд. 3-е. - Москва : Наука, 1984. - 319 c. : ил. - Библиогр. : с. 296-309.
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
логика предикатов -- исчисление высказываний -- логика высказываний -- алгоритмов теория -- арифметика -- множеств теория -- Маркова алгорифмы -- аксиоматическая теория множеств -- теории первого порядка -- формализованная арифметика -- Тьюринга алгорифмы
Доп.точки доступа:
Кабаков, Ф. А. \пер.\
Экземпляры всего: 3
Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (402) (1), Абонемент учебной и научной литературы (1)
8.
Подробнее
Ф 366
Фейс, Роберт.
Модальная логика : перевод с [английского] / Р. Фейс. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Библиогр. в конце разд. - В содержании:Полные системы модальной и интуиционистской логики / К. Шютте. Системы Льюиса и система T (1965-1973) / Г. Е. Минц.
Рубрики: математическая логика модальная
Кл.слова (ненормированные):
логика неклассическая -- модальная функциональная логика -- предикаты, модальное исчисление -- логика модальная -- немодальное исчисление -- интуиционистская логика -- модальная пропозициональная логика -- модальные системы -- математическая логика -- системы модальной логики -- логика интуиционистская -- модальности (логика) -- логика модальностей
Доп.точки доступа:
Шютте, Курт
Минц, Григорий Ефроимович (Ефимович)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Ф 366
Фейс, Роберт.
Модальная логика : перевод с [английского] / Р. Фейс. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Библиогр. в конце разд. - В содержании:Полные системы модальной и интуиционистской логики / К. Шютте. Системы Льюиса и система T (1965-1973) / Г. Е. Минц.
| УДК |
Рубрики: математическая логика модальная
Кл.слова (ненормированные):
логика неклассическая -- модальная функциональная логика -- предикаты, модальное исчисление -- логика модальная -- немодальное исчисление -- интуиционистская логика -- модальная пропозициональная логика -- модальные системы -- математическая логика -- системы модальной логики -- логика интуиционистская -- модальности (логика) -- логика модальностей
Доп.точки доступа:
Шютте, Курт
Минц, Григорий Ефроимович (Ефимович)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
9.
Подробнее
Бизам, Д.
Игра и логика. 85 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - Москва : Мир, 1975. - 359 c. : ил.
Парал. тит. л. на венг. яз.
Рубрики: математическая логика--задачи--решение
Кл.слова (ненормированные):
задачи (логика) -- математика -- логические задачи -- двумерные логические задачи
Доп.точки доступа:
Герцег, Я.
Данилов, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Бизам, Д.
Игра и логика. 85 логических задач / Д. Бизам, Я. Герцег ; пер. с венг. Ю. А. Данилова. - Москва : Мир, 1975. - 359 c. : ил.
Парал. тит. л. на венг. яз.
| УДК |
Рубрики: математическая логика--задачи--решение
Кл.слова (ненормированные):
задачи (логика) -- математика -- логические задачи -- двумерные логические задачи
Доп.точки доступа:
Герцег, Я.
Данилов, Ю. А. \пер.\
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
10.
Подробнее
Шенфилд, Джозеф.
Математическая логика / Дж. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева. - Москва : Наука, 1975. - 527 c. - (Математическая логика и основания математики)
Прил. : с. 459-518
Рубрики: математическая логика
Кл.слова (ненормированные):
теория моделей -- изоморфизмы -- теории первого порядка (математика) -- неполнота (математика) -- теория множеств -- Пеано арифметика -- числа натуральные -- тавтологии теорема -- неразрешимость (математика) -- теория рекурсии (математика)
Доп.точки доступа:
Лавров, И. А. \пер.\
Мальцев, И. А. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (2), Абонемент учебной и научной литературы (4)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (4)
Шенфилд, Джозеф.
Математическая логика / Дж. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева. - Москва : Наука, 1975. - 527 c. - (Математическая логика и основания математики)
Прил. : с. 459-518
| УДК |
Рубрики: математическая логика
Кл.слова (ненормированные):
теория моделей -- изоморфизмы -- теории первого порядка (математика) -- неполнота (математика) -- теория множеств -- Пеано арифметика -- числа натуральные -- тавтологии теорема -- неразрешимость (математика) -- теория рекурсии (математика)
Доп.точки доступа:
Лавров, И. А. \пер.\
Мальцев, И. А. \пер.\
Экземпляры всего: 6
Ч/З о. Русский (2), Абонемент учебной и научной литературы (4)
Свободны: Ч/З о. Русский (2), Абонемент учебной и научной литературы (4)
Страница 1, Результатов: 54