Антиаддитивные примитивно связные теории

Main
Антиаддитивные примитивно связные...

Антиаддитивные примитивно связные теории

Палютин Е. А.

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

წელი:

2003

ენა:

russian

გვერდები:

24

ფაილი:

PDF, 243 KB

IPFS:

,

russian, 2003

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

Колмогоров А.Н., Драгалин А.Г. — Введение в математическую логику

Безусова Татьяна Алексеевна — Теория алгоритмов. Основные подходы к формализации алгоритма

Казимиров Н.И. — Введение в аксиоматическую теорию множеств

Кусраев А.Г. — Элементы булевозначного анализа.

Кейслер Г., Чэн Ч.Ч. — Теория моделей

Нагел Э., Саппс П., Тарский А. (ред.) — Математическая логика и ее применения

А.Г. Кусраев, С.С. Кутателадзе — Нестандартные методы и пространства Канторовича

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 4. Теория доказательств и конструктивная математика

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 1. Теория моделей

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

Левич А.П. — Теория множеств, язык теории категорий и их применение в теоретической биологии

Гордон Е.И. — Лекции по математической логике и теории алгоритмов. Часть 1

Акилов Г.П., Кутателадзе С.С., Булавский В.А.(ред.) — Упорядоченные векторные пространства

Кусраев А. Г. — Элементы булевозначного анализа

Бурбаки Н. (авт.); Поварова Г.Н., Шиханович Ю.А. (перевод с франц.); Успенский В.А. (ред.) — Начала математики. Первая часть. Основные структуры анализа. Книга первая. Теория множеств

Мендельсон Эллиот — Введение в математическую логику

Беклемишев Л.Д. и др. — Обязательный спецкурс кафедры математической логики и теории алгоритмов.

Мендельсон Эллиот — Введение в математическую логику

Мендельсон Эллиот — Введение в математическую логику

Адян С.И. (ред.) — Математическая логика, теория алгоритмов и теория множеств

Мендельсон Э. (Mendelson E.) — Введение в математическую логику

Дж. Барвайс (ред.) — Справочная книга по математической логике В 4-х частях. Теория доказательств и конструктивная математика.

Бурбаки Н. — Основные структуры анализа. Теория множеств.

Просолупов Е.В. — Конспект курса: Основы дискретной математики

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. II. Теория множеств

Барвайс Дж. — Справочная книга по математической логике: В 4-х частях. Ч. IV. Теория доказательств и конструктивная математика

Дудаков С.М. — Основы теории моделей

Судоплатов С.В. — Проблема Лахлана

Безусова Татьяна Алексеевна — Теория алгоритмов. Основные подходы к формализации алгоритма

Бунина Е.И., Михалев А.В., Пинус А.Г — Элементарная и близкая к ней логические эквивалентности классических и универсальных алгебр

Ершов Ю.Л. — Проблемы разрешимости и конструктивные модели

— Фундаментальная и прикладная математика

Нагребецкая Ю.В. — О разрешимости теорий первого порядка групп и моноидов целочисленных матриц

Палютин Е. А. — Примитивно связанные теории

Палютин Е. А. — Элементарные пары примитивно нормальных теорий

საკვანძო ფრაზები

примитивно

множество

множества

эквивалентность

примитивная

примитивное

мальцева

предложения

примитивных

примитивные

существует

примитивной

определение

предложение

выполняется

аддитивно

множеств

определяет

называется

доказательство

нормальна

мультиаддитивно

получаем

примитивного

связывает

антиаддитивные

вытекает

примитивными

компактности

эквивалентности

эквивалентностью

являются

образующая

найдется

семейство

инъективно