შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024
თანხის შეგროვების შესახებ
წიგნების ძებნა
წიგნები
შეწირულობა:
18.1% ამოწურულია
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან Kindle-ზე
კრებულების მართვა
შენახვა რჩეულებში
პირადი
წიგნის მოთხოვნა
შესწავლა
Z-Recommend
წიგნების სარჩევი
ყველაზე პოპულარული
კატეგორია
მონაწილეობა
დახმარება
ატვირთვები
Litera Library
ქაღალდის წიგნების შეწირვა
ქაღალდის წიგნების დამატება
Search paper books
LITERA Point-ის გახსნა
საკვანძო სიტყვების ძებნა
Main
საკვანძო სიტყვების ძებნა
search
1
Cours de Logique Catégorique
Alain Prouté
ϕ
flèche
objet
exercice
montrer
foncteur
proposition
diagramme
topos
π1
objets
élément
ensembles
monomorphisme
l’ensemble
π2
éléments
cône
naturelle
commutatif
dγ
puisque
unique
cγ
carré
morphisme
résulte
d’après
suffit
topologie
voit
ceci
l’application
l’exercice
isomorphisme
quelconque
ailleurs
foncteurs
bijection
x̂
envoie
heyting
l’énoncé
algèbre
autrement
cartésien
l’objet
becγ
préfaisceau
ηx
წელი:
2016
ენა:
french
ფაილი:
PDF, 2.62 MB
თქვენი თეგები:
0
/
0
french, 2016
2
What does it mean to do mathematics within a topos ?
Alain Prouté
topos
statement
finite
context
internal
boolean
injective
joyal
kripke
map
arrow
infinite
itself
theorem
bijective
element
isomorphism
category
sets
arrows
bernstein
cantor
external
monomorphism
toposes
valid
interpreted
singleton
subobjects
methods
presheaf
prove
subsets
values
ϕ
becγ
conclusion
consider
declared
denote
denoted
dynamical
equivalent
excluded
furthermore
graph
intuitionnistic
mathematical
presheaves
proved
წელი:
2015
ენა:
english
ფაილი:
PDF, 436 KB
თქვენი თეგები:
0
/
0
english, 2015
3
Comment on traite la question de l’indépendance de l’hypothèse du continu et de l’axiome du choix avec la théorie des faisceaux de Grothendieck
Alain Prouté
topos
choix
l’axiome
logique
ensembles
l’hypothèse
cohen
externe
satisfait
modèle
tierney
énoncé
exclu
freyd
grothendieck
lawvere
tiers
axiome
déduit
l’axiomatique
objet
classique
contradictoire
mathématique
axiomes
démonstration
flèche
l’objet
prouve
springer
www.logique.jussieu.fr
axiomatique
ceci
concernant
constructions
d’énoncés
exposé
fraenkel
général
intuitionniste
l’intuitionnisme
objets
propriétés
prouver
techniques
toutefois
trivial
usuel
zermelo
ϕ
წელი:
2015
ენა:
french
ფაილი:
PDF, 340 KB
თქვენი თეგები:
0
/
0
french, 2015
1
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×