Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
Campagne de collecte:
22.9% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Z-Recommend
Les sélections de livres
Les plus populaires
Catégories
La participation
Faire un don
Téléchargements
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Search paper books
Ouvrir LITERA Point
La recherche des mots clé
Main
La recherche des mots clé
search
1
Logical Foundations of Proof Complexity
Association for Symbolic Logic [ASL]; Cambridge University Press [CUP]
Stephen Cook
,
Phuong Nguyen
ϕ
theorem
formula
function
formulas
definition
σb0
viii
functions
bounded
definable
lemma
axiom
polynomial
proves
sequent
axioms
variables
theories
induction
iff
vtc
propositional
σb1
prove
sorted
corollary
define
defined
l2a
defining
proofs
iδ0
suppose
numones
conservative
first
vnc
quantifier
vpv
witnessing
complexity
consider
depth
equivalent
σbi
recall
universal
rfn
principle
Année:
2010
Langue:
english
Fichier:
PDF, 2.58 MB
Vos balises:
0
/
0
english, 2010
2
Logical Foundations of Proof Complexity
Association for Symbolic Logic [ASL]; Cambridge University Press [CUP]
Stephen Cook
,
Phuong Nguyen
ϕ
theorem
formula
function
formulas
definition
σb0
viii
functions
bounded
definable
lemma
axiom
polynomial
proves
sequent
axioms
variables
theories
induction
iff
vtc
propositional
σb1
prove
sorted
corollary
define
defined
l2a
defining
proofs
iδ0
suppose
numones
conservative
first
vnc
quantifier
vpv
witnessing
complexity
consider
depth
equivalent
σbi
recall
universal
rfn
principle
Année:
2010
Langue:
english
Fichier:
PDF, 2.32 MB
Vos balises:
0
/
0
english, 2010
3
Асимптотически нормальное оценивание в задаче дробно-линейной регрессии со случанйми ошибками в коэффициентах
Линке Ю. Ю.
,
Саханенко А. И.
xbi
предположение
xai
γi
условие
γθi
следствия
условия
bγ
утверждение
сходимости
величины
σbi
леммы
оценок
выполнено
доказательство
bζ
асимптотически
σai
оценки
утверждения
вытекает
ρxi
сходимость
σyi
предположения
выполнены
имеем
оценивание
линдеберга
линке
саханенко
силу
случайные
верно
замечание
aγ
лемма
нормальное
ηi
величин
оценка
yi2
ввиду
необходимым
использовать
предложения
работе
теоремы
Année:
2008
Langue:
russian
Fichier:
PDF, 535 KB
Vos balises:
0
/
0
russian, 2008
4
Проектирование маршрутов волочения
ГГТУ им. П. О. Сухого
Бобарикин
,
Ю. Л.
шкив
волочения
проволоки
станов
тяговых
шкивов
волочильных
волок
секция
вытяжка
количество
верхняя
кинематическая
максимальное
волоки
диаметры
стан
суммарная
волочильного
перехода
вытяжки
скорость
барабанов
двигателя
мощность
переходов
промежуточных
волочильный
квт
привода
типов
определяются
учета
выходе
определение
сдвоенных
скольжения
значения
каждого
переделов
прочности
вытяжек
кинематические
максимальная
последнем
диаметр
кинематических
конструктивное
коэффициент
магазинных
Langue:
russian
Fichier:
PDF, 680 KB
Vos balises:
0
/
0
russian
5
Основы научных исследований
Малкин В.С.
σy
k00
k0y
kx0
kxy
µx
16t
axi
bxi
xi2
ºf
ºr
σbi
σx
0,1n
0,25d
0,25s2
45º
axh
b123
b1x1
cnk
n1n2
0,5a3
0º
100º
2n1
2nq
Langue:
russian
Fichier:
PDF, 4.92 MB
Vos balises:
0
/
0
russian
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×