Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
57.8% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
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
Рік:
1978
Мова:
german
Файл:
PDF, 4.80 MB
Ваші теги:
0
/
0
german, 1978
2
Logik fur Informatiker
Spektrum Akad. Verl
Uwe Schoning
formel
formeln
gilt
übung
falls
klausel
logik
klauseln
modell
prädikatenlogik
wobei
prolog
folgt
unerfüllbar
beispiel
erfüllbar
hierbei
liebt
folgende
variablen
beweis
z.b
bzw
vorkommen
programm
zeigen
erhalten
klauselmenge
zielklausel
satz
folgenden
ergibt
rechnung
heißt
menge
aussagenlogik
enthält
algorithmus
atomaren
zeige
herbrand
knf
theorie
resolvent
gegeben
jedes
substitution
leeren
eingabe
struktur
Рік:
2000
Мова:
german
Файл:
DJVU, 3.99 MB
Ваші теги:
0
/
0
german, 2000
3
Elementare Beweistheorie
Spektrum Akademischer Verlag
Lutz Heindorf
fiir
herleitung
formeln
sequenzen
zeichen
regeln
sequenz
formel
beweis
daf
herleitbar
menge
wert
leser
logischen
herleitungen
beweisen
gilt
zeigen
anwendung
ausgangssequenz
bzw
zahlen
tiber
variablen
ausgangssequenzen
beispiel
ergibt
logische
naturliches
satz
zeichenreihe
axiome
da8
entsteht
folgende
freie
schliessen
aufgaben
baw
intuitionistische
folgenden
logik
schreiben
zunachst
benutzen
beweistheorie
endsequenz
herleitbarkeit
implikation
Рік:
1994
Мова:
german
Файл:
PDF, 13.74 MB
Ваші теги:
0
/
0
german, 1994
4
Nullstellensatz (Anwendungen der Logik)
Martin Goldstern
formel
körper
für
gilt
ϕ
abgeschlossenen
äquivalent
menge
nullstellensatz
ϕ0
algebraisch
polynom
gleichungen
reell
nullstelle
polynome
ideal
lösung
formeln
betrachten
d.h
variablen
ā
können
quantorenfreie
beispiel
freien
offensichtlich
wobei
beliebige
b̄
jedes
körpern
lässt
daher
nämlich
ungleichungen
zeigen
einfache
erweiterungskörper
erzeugte
gemeinsame
quantorenfreien
teiler
wäre
algorithmus
atomformeln
äquivalente
beweis
element
Рік:
2013
Мова:
german
Файл:
PDF, 322 KB
Ваші теги:
0
/
0
german, 2013
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×