పుస్తకాల శోధన
పుస్తకాలు
మాకు మద్దతు ఇవ్వాలనుకుంటే
సైన్ ఇన్ చేయండి
సైన్ ఇన్ చేయండి
మరిన్ని ఫీచర్లను యాక్సెస్ చేయడానికి
వ్యక్తిగత సిఫార్సులు
Telegram బాట్
డౌన్లోడ్ చరిత్ర
ఇమెయిల్ లేదా Kindle కు పంపండి
పుస్తకాల జాబితాలను నిర్వహించండి
ఇష్టమైన వాటికి సేవ్ చేయండి
వ్యక్తిగతమైన
పుస్తక అభ్యర్థనలు
అన్వేషించండి
Z-సిఫార్సు చేయండి
పుస్తక సేకరణలు
అత్యంత ప్రజాదరణమైనవి
వర్గాలు
సహకారం
మాకు మద్దతు ఇవ్వాలనుకుంటే
అప్లోడ్లు
Litera Library
కాగితపు పుస్తకాలను విరాళంగా ఇవ్వండి
కాగితపు పుస్తకాలను జోడించండి
Search paper books
నా LITERA Point
కీలక పదాల శోధన
Main
కీలక పదాల శోధన
search
1
Моделирование вычислительных процессов средствами пропозициональных логик
ИППИ РАН
Чагров А.В
формулы
логики
логик
точки
формула
лемма
логика
шкалы
теорема
формул
доказательство
леммы
точек
свойства
шкале
шкал
теоремы
ттг
проблема
свойство
некоторой
суперинтуиционистских
вида
модальных
нормальных
расширений
логике
множество
выполняется
конечных
доказана
истинна
точке
точка
доказательства
переменных
неразрешима
опровергается
минского
оценке
разделе
крипке
доказывается
разрешимости
свойств
вывода
любой
логику
определяем
шкалах
సంవత్సరం:
1997
భాష:
russian
ఫైల్:
DJVU, 1.39 MB
మీ ట్యాగ్లు:
0
/
0
russian, 1997
2
Определимость в нормальных расширениях логики S4
Максимова Л. Л.
pb2
логики
свойством
логика
логик
grz
алгебр
алгебра
модальных
свойство
бета
максимова
нормальных
расширениях
существуют
cip
опремум
доказательство
имеют
лемма
ipd
подпрямо
свойства
суперинтуиционистских
теорема
rap
модальная
существует
алгебры
обладает
определимость
формула
докажем
любой
напомним
финитно
формулы
доказано
любых
модальной
удовлетворяет
выполняется
класс
леммы
множество
мономорфизмы
называется
расширений
23p
φ0
సంవత్సరం:
2005
భాష:
russian
ఫైల్:
PDF, 242 KB
మీ ట్యాగ్లు:
0
/
0
russian, 2005
3
Однородные модели и генерические расширения
Кудайбергенов К.Ж.
модель
ā
модели
b̄
теории
множество
любого
свойство
ϕ
существует
однородна
однородной
ā_
кардиналы
сохраняет
теорема
тип
c̄
тотально
āη
генерическое
доказательство
силу
теория
āα
hā
x̄
доказана
мощности
2λ
b̄i
отображение
покажем
расширение
pα
множества
однородности
реализуют
b̄_
кудайбергенов
однородность
отсюда
полагаем
продолжается
условию
zfc
абсолютно
насыщенная
некоторого
однородная
సంవత్సరం:
2000
భాష:
russian
ఫైల్:
PDF, 400 KB
మీ ట్యాగ్లు:
0
/
0
russian, 2000
4
О свойстве Бета в расширениях логик Лукасевича
Тишковский Д.Е.
лукасевича
логики
aω
бета
логике
языка
множество
формула
алгебры
свойством
lω
алгебре
бесконечнозначной
логик
переменных
пропозициональные
доказательство
лемме
определяет
пропозициональных
символов
теоремы
утверждение
формул
интерпретации
леммы
логика
множества
называется
неявно
получаем
содержит
соответственно
тишковский
данной
значной
имеем
константе
любой
относительно
отсюда
переменную
расширение
расширений
следовательно
терм
формулы
языке
аксиоматическое
алгеброй
సంవత్సరం:
2000
భాష:
russian
ఫైల్:
PDF, 356 KB
మీ ట్యాగ్లు:
0
/
0
russian, 2000
1
ఈ లింక్
ని అనుసరించండి లేదా టెలిగ్రామ్లో "@BotFather" బాట్ను కనుగొనండి
2
/ newbot ఆదేశాన్ని పంపండి
3
మీ చాట్బాట్ కోసం పేరును పేర్కొనండి
4
బాట్ కోసం వినియోగదారు పేరును ఎంచుకోండి
5
BotFather నుండి పూర్తి చివరి సందేశాన్ని కాపీ చేసి ఇక్కడ అతికించండి
×
×