Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
29.2% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Z-Recommend
Перелік книг
Найпопулярніші
Категорії
Участь
Підтримати
Завантаження
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Search paper books
Мій LITERA Point
Пошук ключових слів
Main
Пошук ключових слів
search
1
Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker
Springer Vieweg
Hans Jürgen Ohlbach
,
Norbert Eisinger
beispiel
induktion
gilt
beweis
behauptung
menge
zahlen
vollständige
ggt
zahl
ordinalzahlen
beweisschema
unendlich
natürliche
voraussetzungen
induktionsannahme
basisfall
transfinite
beliebig
falls
beweise
hog
induktionsbehauptung
beweismuster
induktionsfall
schließen
beweisen
formel
voraussetzung
abschnitt
eigenschaft
natürlichen
algorithmus
programm
äquivalent
wahr
verwendet
jedes
induktionsschritt
objekte
teilbeweis
ordinalzahl
vollständigen
widerspruchsbeweis
allbehauptung
besteht
dagegen
formeln
terminiert
beispiele
Рік:
2017
Мова:
german
Файл:
PDF, 2.08 MB
Ваші теги:
0
/
0
german, 2017
2
Vorlesungen über Minimalflächen
Springer
J.C.C. Nitsche
minimalflachen
fiir
flachen
flache
lagrange
theorie
einleitung
inhaltes
abbildung
konforme
kurven
lésungen
mathematischen
funktionen
geometrischen
iiber
natiirlich
spezielle
tiber
verlag
darstellung
differentialgeometrie
differentialgleichung
eigenschaften
existenzbeweis
funktion
kleinsten
kriimmung
lésung
manche
minimalflache
plateau
plateauschen
springer
allgemeiner
aufgaben
berlin
findet
flacheninhalt
gegeben
grundlehren
heidelberg
johannes
jordankurve
kurve
literaturverzeichnis
lésungsflache
minimalflachengleichung
nahezu
nitsche
Рік:
1975
Мова:
german
Файл:
PDF, 45.04 MB
Ваші теги:
0
/
0
german, 1975
3
Beweise als Programme 001
beispiel
beweise
einf
herleitungen
arithmetik
beispielsangabe
beweisen
existenzbeweis
logik
programme
uhrung
achlich
arithmetische
aspekte
ausblick
aussage
beseitigungsregeln
betrachten
beweis
beweistransformation
delta
erh
erster
existent
existenz
existenzbeweisen
fallunterscheidung
feinfg
folgende
folgerungen
folgt
formale
formeln
helmut
inhaltsverzeichnis
interessante
interpretation
intuitionistische
irrationale
klassische
liefern
literatur
ludwig
mathematische
mathematisches
maximilians
nachgewiesene
normalform
normalisierung
oglich
Мова:
german
Файл:
TXT, 2 KB
Ваші теги:
0
/
0
german
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×