wyszukiwanie książek
książki
Wsparcie
Wejdź
Wejdź
uprawnieni użytkownicy mają dostęp do:
osobiste rekomendacje
Bot Telegramu
historia pobierania
wyślij do Email lub Kindle
zarządzanie zbiorami
zapisywanie w ulubionych
Osobiste
Zapytania o książkę
Nauka
Z-Recommend
Lista książek
Najbardziej popularne
Kategorie
Uczestnictwo
Wsparcie
Pobrania
Litera Library
Podaruj papierowe książki
Dodaj papierowe książki
Search paper books
Mój LITERA Point
Wyszukiwanie kluczowych słów
Main
Wyszukiwanie kluczowych słów
search
1
Философия математики:
Наука
Целищев В.В.
математики
множеств
множества
теории
порядка
философии
чисел
множество
аксиомы
первого
аксиома
логики
числа
логика
теория
число
зрения
аксиом
объектов
второго
понятие
степени
цермело
языка
математических
математика
точки
континуум
теоремы
mathematics
существует
модели
сколема
philosophy
состоит
объекты
интерпретации
кантора
значения
области
являются
философия
математике
отношении
рода
смысле
теоретико
утверждения
т.е
математические
Rok:
2002
Język:
russian
Plik:
DJVU, 1.93 MB
Twoje tagi:
0
/
0
russian, 2002
2
Машина доказывает
Знание
Глушков В.М
высказываний
системы
вывода
исчисления
предикатов
исчислении
формулы
алгоритм
эвм
высказывания
высказывание
формул
логического
доказательств
истинности
помощью
тождественно
построения
объектов
предложения
данных
процедур
автоматизации
алгоритма
переменных
состоит
числа
число
систем
теории
выражение
доказательства
операции
программ
процедуры
алгоритмов
предложений
функций
аксиом
задачи
машины
теорем
области
являются
задача
интеллекта
кванторов
оператор
переменные
рода
Rok:
1981
Język:
russian
Plik:
DJVU, 1.15 MB
Twoje tagi:
0
/
0
russian, 1981
3
О теореме Левенгейма-Сколема-Мальцева для HF-структур
Пузаренко В. Г.
ϕ
lσa
модель
сигнатуры
наследственно
языка
множество
мощности
существует
конечных
фрагмент
lσ
mδ
теория
mα
конечной
надстроек
надстройки
ℵ0
lσω
левенгейма
определение
сколема
теореме
элементов
sα
xϕ
вида
модели
неразличимых
теории
hσ
mβ
каждого
мальцева
множества
пузаренко
символов
формул
σ1
ω1
любой
структур
теорема
фрагментом
card
iα
tskolem
допустимое
допустимый
Rok:
2004
Język:
russian
Plik:
PDF, 186 KB
Twoje tagi:
0
/
0
russian, 2004
1
Skorzystaj z
tego linku
lub wyszukaj bota „@BotFather” w Telegramie
2
Wyślij polecenie /newbot
3
Wpisz nazwę swojego bota
4
Wprowadź nazwę użytkownika dla bota
5
Skopiuj najnowszą wiadomość od BotFather i wklej ją tutaj
×
×