Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
19.3% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Відкрити LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Философия математики:
Наука
Целищев В.В.
математики
множеств
множества
теории
порядка
философии
чисел
множество
аксиомы
первого
аксиома
логики
числа
логика
теория
число
зрения
аксиом
объектов
второго
понятие
степени
цермело
языка
математических
математика
точки
континуум
теоремы
mathematics
существует
модели
сколема
philosophy
состоит
объекты
интерпретации
кантора
значения
области
являются
философия
математике
отношении
рода
смысле
теоретико
утверждения
т.е
математические
Рік:
2002
Мова:
russian
Файл:
DJVU, 1.93 MB
Ваші теги:
0
/
0
russian, 2002
2
Машина доказывает
Знание
Глушков В.М
высказываний
системы
вывода
исчисления
предикатов
исчислении
формулы
алгоритм
эвм
высказывания
высказывание
формул
логического
доказательств
истинности
помощью
тождественно
построения
объектов
предложения
данных
процедур
автоматизации
алгоритма
переменных
состоит
числа
число
систем
теории
выражение
доказательства
операции
программ
процедуры
алгоритмов
предложений
функций
аксиом
задачи
машины
теорем
области
являются
задача
интеллекта
кванторов
оператор
переменные
рода
Рік:
1981
Мова:
russian
Файл:
DJVU, 1.15 MB
Ваші теги:
0
/
0
russian, 1981
3
О теореме Левенгейма-Сколема-Мальцева для HF-структур
Пузаренко В. Г.
ϕ
lσa
модель
сигнатуры
наследственно
языка
множество
мощности
существует
конечных
фрагмент
lσ
mδ
теория
mα
конечной
надстроек
надстройки
ℵ0
lσω
левенгейма
определение
сколема
теореме
элементов
sα
xϕ
вида
модели
неразличимых
теории
hσ
mβ
каждого
мальцева
множества
пузаренко
символов
формул
σ1
ω1
любой
структур
теорема
фрагментом
card
iα
tskolem
допустимое
допустимый
Рік:
2004
Мова:
russian
Файл:
PDF, 186 KB
Ваші теги:
0
/
0
russian, 2004
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×