Перейти к содержимому
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 8
Отмеченные записи: 0
1.
Подробнее
vtls000004235
510 Д 721
Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; [Г. Е. Минц (отв. ред.)]. - Москва : Едиториал УРСС, 2003. - 543 c. : портр. - Библиогр. : с. 520-525. - Прил. : с. 513-519.
Рубрики: математическая логика
доказательств теория
Кл.слова (ненормированные):
философия математики -- теория доказательств -- конструктивная теория доказательств -- конструктивизм математический -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Доп.точки доступа:
Минц, Г. Е. \ред.\
Экземпляры всего: 3
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
510 Д 721
Драгалин, Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ / А. Г. Драгалин ; [Г. Е. Минц (отв. ред.)]. - Москва : Едиториал УРСС, 2003. - 543 c. : портр. - Библиогр. : с. 520-525. - Прил. : с. 513-519.
| УДК |
Рубрики: математическая логика
доказательств теория
Кл.слова (ненормированные):
философия математики -- теория доказательств -- конструктивная теория доказательств -- конструктивизм математический -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Доп.точки доступа:
Минц, Г. Е. \ред.\
Экземпляры всего: 3
Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1), Абонемент учебной и научной литературы (Пушкинская, 10) (1)
2.
Подробнее
517/Ф 366-083201044
510
Ф 366
Фейс, Роберт.
Модальная логика : перевод с [английского] / Р. Фейс. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Библиогр. в конце разд. - В содержании:Полные системы модальной и интуиционистской логики / К. Шютте. Системы Льюиса и система T (1965-1973) / Г. Е. Минц.
Рубрики: математическая логика модальная
Кл.слова (ненормированные):
логика неклассическая -- модальная функциональная логика -- предикаты, модальное исчисление -- логика модальная -- немодальное исчисление -- интуиционистская логика -- модальная пропозициональная логика -- модальные системы -- математическая логика -- системы модальной логики -- логика интуиционистская -- модальности (логика) -- логика модальностей
Доп.точки доступа:
Шютте, Курт
Минц, Григорий Ефроимович (Ефимович)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
510
Ф 366
Фейс, Роберт.
Модальная логика : перевод с [английского] / Р. Фейс. - Москва : Наука, 1974. - 520 с. - (Математическая логика и основания математики). - Библиогр. в конце разд. - В содержании:Полные системы модальной и интуиционистской логики / К. Шютте. Системы Льюиса и система T (1965-1973) / Г. Е. Минц.
| УДК |
Рубрики: математическая логика модальная
Кл.слова (ненормированные):
логика неклассическая -- модальная функциональная логика -- предикаты, модальное исчисление -- логика модальная -- немодальное исчисление -- интуиционистская логика -- модальная пропозициональная логика -- модальные системы -- математическая логика -- системы модальной логики -- логика интуиционистская -- модальности (логика) -- логика модальностей
Доп.точки доступа:
Шютте, Курт
Минц, Григорий Ефроимович (Ефимович)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
3.
Подробнее
vtls000066337
510 Д 721
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.
Рубрики: математическая логика
теория доказательств (математика)
Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
510 Д 721
Драгалин, Альберт Григорьевич.
Математический интуиционизм. Введение в теорию доказательств / А. Г. Драгалин. - Москва : Наука, 1979. - 256 c. : ил. - (Математическая логика и основания математики). - Библиогр. : с. 240-250.
| УДК |
Рубрики: математическая логика
теория доказательств (математика)
Кл.слова (ненормированные):
Черча тезис -- реализуемости метод -- интуиционистский анализ -- математический интуиционизм -- основания математики -- алгебраические модели -- псевдобулевы алгебры -- интуиционистская логика предикатов -- исчислений секвенций -- конструктивная теория доказательств -- арифметические теории -- аксиоматическая теория множеств -- интуиционизм математический -- интуиционистская логика математическая -- интуиционистская логика
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
4.
Подробнее
vtls000127571
510 М 34
Математическая логика и её применения : сборник статей / под ред. Э. Нагела, П. Саппса, А. Тарского ; пер. с англ. А. И. Мальцевой. - Москва : Мир, 1965. - 341 c. : табл. - Библиогр. в конце ст.
Парал. тит. л. на англ. яз.
Рубрики: математическая логика--сборники
Кл.слова (ненормированные):
диофантовы уравнения -- теория моделей (математика) -- теория множеств -- Биневский, Александр Александрович (библиотека) -- математика и логика -- математический язык -- математическая лингвистика -- комбинаторные функции -- теория иерархий -- гиперболическая геометрия -- интуиционистская логика -- рекурсивная эквивалентность -- Кобхама теорема
Доп.точки доступа:
Нагел, Э. \ред.\
Саппс, П. \ред.\
Тарский, А. \ред.\
Мальцева, А. И. \пер.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
510 М 34
Математическая логика и её применения : сборник статей / под ред. Э. Нагела, П. Саппса, А. Тарского ; пер. с англ. А. И. Мальцевой. - Москва : Мир, 1965. - 341 c. : табл. - Библиогр. в конце ст.
Парал. тит. л. на англ. яз.
| УДК |
Рубрики: математическая логика--сборники
Кл.слова (ненормированные):
диофантовы уравнения -- теория моделей (математика) -- теория множеств -- Биневский, Александр Александрович (библиотека) -- математика и логика -- математический язык -- математическая лингвистика -- комбинаторные функции -- теория иерархий -- гиперболическая геометрия -- интуиционистская логика -- рекурсивная эквивалентность -- Кобхама теорема
Доп.точки доступа:
Нагел, Э. \ред.\
Саппс, П. \ред.\
Тарский, А. \ред.\
Мальцева, А. И. \пер.\
Экземпляры всего: 2
Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
Свободны: Абонемент учебной и научной литературы (1), Ч/З о. Русский (1)
5.
Подробнее
vtls000247265
87.4я73 Г 443
Гетманова, Александра Денисовна.
Учебник логики. Со сборником задач / А. Д. Гетманова. - Изд. 6-е, перераб. - Москва : КноРус, 2006. - 444 с. - Алфавитно-предметный указатель : с. 428 - 433. - Список символов : с. 423 - 425.. - ISBN 5859713177
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
понятие (логика) -- суждение (логика) -- логические законы -- законы логики -- умозаключение (логика) -- аргументация (логика) -- гипотеза (логика) -- символическая логика -- многозначные логики -- интуиционистская логика -- конструктивные логики -- положительные логики -- паранепротиворечивая логика -- задачи по логике -- логические задачи -- логические символы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
87.4я73 Г 443
Гетманова, Александра Денисовна.
Учебник логики. Со сборником задач / А. Д. Гетманова. - Изд. 6-е, перераб. - Москва : КноРус, 2006. - 444 с. - Алфавитно-предметный указатель : с. 428 - 433. - Список символов : с. 423 - 425.. - ISBN 5859713177
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
понятие (логика) -- суждение (логика) -- логические законы -- законы логики -- умозаключение (логика) -- аргументация (логика) -- гипотеза (логика) -- символическая логика -- многозначные логики -- интуиционистская логика -- конструктивные логики -- положительные логики -- паранепротиворечивая логика -- задачи по логике -- логические задачи -- логические символы
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
6.
Подробнее
vtls000260539
87.4я73 Г 443
Гетманова, Александра Денисовна.
Логика : учебник для вузов / А. Д. Гетманова. - 13-е изд., стер. - Москва : Омега-Л, 2008. - 415 с. : ил., табл. - (Университетский учебник.). - Библиогр. : с. 405 - 407.. - ISBN 9785365009509
ББК 87.4я73
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
понятие (логика) -- суждение (логика) -- логические законы -- умозаключение (логика) -- аргументации теория -- аргументация -- модальные логики -- интуиционистская логика
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
87.4я73 Г 443
Гетманова, Александра Денисовна.
Логика : учебник для вузов / А. Д. Гетманова. - 13-е изд., стер. - Москва : Омега-Л, 2008. - 415 с. : ил., табл. - (Университетский учебник.). - Библиогр. : с. 405 - 407.. - ISBN 9785365009509
Рубрики: логика--учебные издания для вузов
Кл.слова (ненормированные):
понятие (логика) -- суждение (логика) -- логические законы -- умозаключение (логика) -- аргументации теория -- аргументация -- модальные логики -- интуиционистская логика
Экземпляры всего: 1
Абонемент учебной и научной литературы (1)
Свободны: Абонемент учебной и научной литературы (1)
7.
Подробнее
vtls000791599
510.24 П 165
Панов, Михаил Иванович.
Методологические проблемы интуиционистской математики / М. И. Панов ; отв. ред. Е. Ф. Солопов ; Академия наук СССР, Центральный совет философских (методологических) семинаров. ; Академия наук СССР, Центральный совет философских (методологических) семинаров. - Москва : Наука, 1984. - 224 с.
Кл.слова (ненормированные):
интуиционизм -- современная математика -- математика интуиционистская -- математическое познание -- интуиционистская логика -- Брауэра концепция -- конструктивность
Доп.точки доступа:
Солопов, Е. Ф. \ред.\
Академия наук СССР. Центральный совет философских (методологических) семинаров
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
510.24 П 165
Панов, Михаил Иванович.
Методологические проблемы интуиционистской математики / М. И. Панов ; отв. ред. Е. Ф. Солопов ; Академия наук СССР, Центральный совет философских (методологических) семинаров. ; Академия наук СССР, Центральный совет философских (методологических) семинаров. - Москва : Наука, 1984. - 224 с.
| УДК |
Кл.слова (ненормированные):
интуиционизм -- современная математика -- математика интуиционистская -- математическое познание -- интуиционистская логика -- Брауэра концепция -- конструктивность
Доп.точки доступа:
Солопов, Е. Ф. \ред.\
Академия наук СССР. Центральный совет философских (методологических) семинаров
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
8.
Подробнее
vtls000758620
512 А 456
Алгебра и логика : сборник научных трудов / Институт математики (Новосибирск) ; Академия наук СССР, Сибирское отделение, Институт математики ; [ред. Ю. Л. Ершов, Е. Н. Кузьмин, Ю. И. Мерзляков]. - Новосибирск : [б. и.], 1984. - С. 483-601. - (Труды / Институт математики СО АН СССР. ; т. 23 : № 5.). - Библиогр. в конце глав.
Кл.слова (ненормированные):
алгебра -- Логика -- ассоциативные алгебры -- проективные плоскости -- интуиционистская логика -- симплектическая группа -- многообразия
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Кузьмин, Е. Н. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
512 А 456
Алгебра и логика : сборник научных трудов / Институт математики (Новосибирск) ; Академия наук СССР, Сибирское отделение, Институт математики ; [ред. Ю. Л. Ершов, Е. Н. Кузьмин, Ю. И. Мерзляков]. - Новосибирск : [б. и.], 1984. - С. 483-601. - (Труды / Институт математики СО АН СССР. ; т. 23 : № 5.). - Библиогр. в конце глав.
| УДК |
Кл.слова (ненормированные):
алгебра -- Логика -- ассоциативные алгебры -- проективные плоскости -- интуиционистская логика -- симплектическая группа -- многообразия
Доп.точки доступа:
Ершов, Юрий Леонидович \ред.\
Кузьмин, Е. Н. \ред.\
Мерзляков, Ю. И. \ред.\
Институт математики (Новосибирск)
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)
Страница 1, Результатов: 8