Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
13.9% 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
Open LITERA Point
Terms search
Main
Terms search
search
1
Formalisieren und Beweisen: Logik für Informatiker
Vieweg+Teubner Verlag
Dirk Siefkes (auth.)
formeln
formel
satz
wahr
beweisen
struktur
beispiel
folgt
abschnitt
prädikatenlogik
heißt
axiome
beweis
gilt
aufgabe
logik
signatur
aufgaben
folgerung
variablen
menge
ableiten
zahlen
strukturen
daten
vollständig
formalisieren
schreiben
fonneln
schnittregel
fürs
logische
theorie
daher
äquivalent
atome
aussagenlogik
erhalten
bzw
pfeiler
ableitbar
benutzen
belegung
gelten
beliebige
falsch
verfahren
fritz
fonnel
zeigen
Year:
1992
Language:
german
File:
PDF, 7.50 MB
Your tags:
0
/
0
german, 1992
2
Formalisieren und Beweisen: Logik für Informatiker
Vieweg+Teubner Verlag
Dirk Siefkes (auth.)
formeln
formel
satz
wahr
beweisen
beispiel
struktur
folgt
fiir
flir
abschnitt
axiome
beweis
gilt
nieht
aufgabe
logik
signatur
aufgaben
urn
variablen
menge
zahlen
ableiten
folgerung
daten
formalisieren
strukturen
heibt
aile
aussagenlogik
schnittregel
theorie
daher
logische
schreiben
1st
atome
erhalten
ableitbar
bzw
tiber
benutzen
belegung
pfeiler
gelten
verfahren
beliebige
priidikatenlogik
fritz
Year:
1990
Language:
german
File:
PDF, 37.19 MB
Your tags:
0
/
0
german, 1990
3
Logikkalküle
Vieweg+Teubner Verlag
Dr. rer. nat. Michael M. Richter (auth.)
beweis
satz
gilt
formel
ableitbar
formeln
folgt
heißt
falls
menge
erhalten
sequenz
existiert
knoten
erfüllt
logik
d.h
variablen
axiome
regeln
bzw
betrachten
behauptung
erklärt
kalkül
erklären
wobei
lkk
belegung
1jj
jedes
induktion
sche
vxk
zeigen
daher
vorkommen
läßt
ableitung
modell
struktur
schen
wahr
folge
folgenden
ersetzen
setzen
seien
sequenzen
substitutionen
Year:
1978
Language:
german
File:
PDF, 4.80 MB
Your tags:
0
/
0
german, 1978
4
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker
Vieweg+Teubner Verlag
Dieter Hofbauer
,
Ralf-Detlef Kutsche (auth.)
formeln
menge
gilt
beispiel
klauseln
regeln
beweis
satz
bzw
formel
klausel
lemma
falls
verfahren
variablen
existiert
ableitung
ordnung
matrix
substitutionen
d.h
heißt
mgu
formelmenge
tableau
abschnitt
widerlegung
prädikatenlogik
substitution
eats
literal
schnitt
herbrand
wobei
gleichungen
sowie
signatur
fak
konfluenz
folgenden
folgt
enthält
gleichung
fonnel
wert
erhalten
modell
struktur
paramodulation
termersetzungssystem
Year:
1991
Language:
german
File:
PDF, 5.33 MB
Your tags:
0
/
0
german, 1991
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
×
×