Donaciones 15 de septiembre 2024 – 1 de octubre 2024
Acerca de la recaudación de fondos
buscar libros
libros
Donaciones:
59.5% alcanzado
Iniciar sesión
Iniciar sesión
los usuarios autorizados tienen acceso a:
recomendaciones personales
Bot de Telegram
historial de descargas
enviar a correo electrónico o Kindle
gestión de listas de libros
guardar en favoritos
Personal
Solicitudes de libros
Estudio
Z-Recommend
Listas de libros
Más populares
Categorías
Participación
Donar
Cargas
Litera Library
Donar libros en papel
Agregar libros en papel
Search paper books
Mi LITERA Point
Búsqueda de palabras clave
Main
Búsqueda de palabras clave
search
1
Gödel nemteljességi tételei : értelmezések és félreértések
Typotex
Csaba Ferenc
,
Torkel Franzén
gödel
nemteljességi
tétel
bizonyítható
alapján
konzisztens
tétele
formális
rendszer
matematikai
állítás
aritmetikai
mondat
zfc
elmélet
értelmezések
félreértelmezések
természetes
szám
létezik
állítások
első
aritmetika
rendszerben
eldönthetetlen
számok
nemteljesség
tudjuk
goldbach
logikai
felsorolható
füzér
következik
következő
tetszőleges
ugyanis
véges
típusú
értelemben
bizonyítása
eldönthető
hamis
rendszerek
amennyiben
axiómák
halmaz
elsőrendű
bizonyítás
állítást
bármely
Año:
2013
Idioma:
hungarian
Archivo:
PDF, 720 KB
Sus etiquetas:
0
/
0
hungarian, 2013
2
Formális nyelvek és automaták
Debreceni Egyetem
Dömösi Pál
,
Falucskai János
,
Horváth Géza
,
Mecsei Zoltán
,
Nagy Benedek
automata
nyelvek
véges
reguláris
példa
nyelvtan
nyelv
automaták
környezetfüggetlen
bemenő
szabály
lineáris
turing
által
algoritmus
féle
nyelvet
tétel
beli
feladat
ekvivalens
tetszőleges
megoldás
azaz
moore
környezetfüggő
szabályok
automatát
gép
típusú
valamely
determinisztikus
esetben
mealy
nélküli
állapot
formális
iniciális
alapján
halmaza
levezetés
input
üresszó
nemterminális
nyelvtant
levezetési
nemdeterminisztikus
lépésben
rendszer
szabályt
Año:
2011
Idioma:
hungarian
Archivo:
PDF, 5.91 MB
Sus etiquetas:
0
/
0
hungarian, 2011
3
Gödel nemteljességi tételei
Typotex
Raymond M. Smullyan
bizonyítható
mondat
formula
gödel
tetszőleges
rendszer
tétel
halmaz
konzisztens
feladat
aritmetikai
reláció
alapján
rendszerben
szám
típusú
cáfolható
halmazt
mondatok
tegyük
rosser
elhiszi
lemma
száma
formulák
teljesül
hamis
számok
amennyiben
bizonyítása
tarski
tétele
nevezzük
rendszerek
függvény
kifejezés
értelemben
halmazok
korrekt
lovag
érvelő
relációt
rekurzív
előző
mondatot
mondjuk
relációk
halmaza
egyaránt
fejezetben
Año:
2006
Idioma:
hungarian
Archivo:
PDF, 5.10 MB
Sus etiquetas:
0
/
4.0
hungarian, 2006
1
Sigue
este link
o encuentra al bot "@BotFather" en Telegram
2
Envía el comando /newbot
3
Indica un nombre para tu bot
4
Indica un nombre de usuario para el bot
5
Copia el último mensaje de BotFather e insértalo aquí
×
×