Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
22.3% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
search
1
Theorie der logischen Programmierung: Eine elementare Einführung
Springer-Verlag Berlin Heidelberg
Prof. Dr. Peter H. Schmitt (auth.)
gilt
flir
menge
prolog
aile
beweissuchbaum
satz
beweis
formeln
formel
tiber
folgt
fiir
pfad
unifikator
1st
lemma
jedes
struktur
substitution
modell
wobei
gdw
variablen
herbrand
klauseln
klausel
aufgabe
zeigen
situationen
nieht
vokabular
wahr
existiert
kante
beispiel
erfolgreichen
heibt
strukturen
besitzt
element
folge
hornklauseln
knoten
somit
erfolglos
allgemeine
mub
allgemeinen
programming
Year:
1992
Language:
german
File:
PDF, 5.47 MB
Your tags:
0
/
0
german, 1992
2
Kategorien und Topostheorie 001
für
morphismus
funktor
gilt
morphismen
menge
kategorie
ϕ
jedes
diagramm
bijektion
definiert
funktion
heißt
heyting
jedem
natürlich
pullback
sieb
mengen
universeller
natürliche
adjungierte
homc
gegeben
kochen
wobei
bedeutet
beweis
specker
d.h
kegel
eindeutigen
element
objekten
produkt
subobject
wahr
universellen
verband
adjunktion
classifier
funktoren
funktors
koprodukt
observablen
produkte
subc
unterobjekt
ηx
Language:
german
File:
PDF, 336 KB
Your tags:
0
/
0
german
3
Einführung in die Kategorientheorie
Christian Dzierzon
für
gilt
d.h
kategorie
funktor
morphismen
folgt
diagramm
bzw
morphismus
falls
beweis
isomorphismus
satz
natürliche
menge
limiten
funktoren
monomorphismus
existiert
jedes
kategorien
kommutiert
eigenschaft
objekte
ηb
definiert
heißt
beispiele
folgende
bewahrt
epimorphismus
limes
seien
ϕ
duale
eindeutig
idf
produkte
retraktion
daher
grp
idb
mengen
folgenden
treu
wobei
produkt
komposition
zeige
Year:
2004
Language:
german
File:
PDF, 706 KB
Your tags:
0
/
0
german, 2004
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×