Matematika diskretu: berrikuspenen arteko aldeak

Ezabatutako edukia Gehitutako edukia
No edit summary
7. lerroa:
 
== Matematika Diskretuko Topikoak ==
[[Fitxategi:Sorting quicksort anim.gif|thumb|Konplexutasunak, algoritmo bat exekutatzeko behar duen denbora azaltzen du.]]
 
=== Informatika Teorikoa ===
[[Informatikaren teoria|Informatikaren teoriak]], matematika diskretuko konputazioari lotutako hainbat atal aipagarri barneratzen ditu. Hau, oso erlazionatuta dago grafoen eta logikaren teoriekin.
 
Informatikaren teoriaren barnean, algoritmoen[[algoritmo]]<nowiki/>en teoria ageri da problema matematikoei erantzuna bilatzeko. [[Konputagarritasunaren teoria|Konputagarritasunak]], konputagarri izan daitekeena aztertzen du eta logikarekin harreman handia du; konplexutasunak bestalde, kalkulu bat egiteko behar den denbora aztertzen du.
 
[[Automaten teoria|Automaten teoriak]], hizkera formalak eta sistemen dinamikak, konputagarritasunarekin erlazionatzen da batez ere.
 
Sistemen dinamikak konputagarritasunarekin erlazionatzen dira. [[Geometria konputazional|Geometria konputazionalak]] algoritmotak ezartzen ditu problema geometrikoetan; irudien analisi digitalak bestalde, irudien errepresentazioetan ezartzen dituzte.
 
Informatikaren teoriak, informatika jarraituaren topikoak ere barneratzen ditu.
[[Fitxategi:WikipediaBinary.svg|thumb|Azaldutako kodeketa, informazioaren teorian aiderazitako hitz bat da.]]
 
=== Informazioaren Teoria ===
Informazioaren teoria, informazioaren zenbaketarekin nahasten da. Honen oso antzekoa kodeketaren teoria da; zein transmisioetarako metodoen eta datu fidagarri eta eraginkorren biltegiratzearen diseinuetarako erabilia den.
 
Teoria honek, seinale analogo, kodifikazio analogo eta zifratu analogo topikoak barneratzen duditu.
 
=== Logika ===
 
=== Multzo -Teoria ===
<blockquote>''Artikulu nagusia:'' [[Multzo-teoria|Multzo teoria]]</blockquote>Multzo-teoriak [[Multzo|multzoak]], elementu ezberdinen bildumak alegia, aztertzen dituen [[Matematika|matematikaren]] adarra da. Multzo bat, objetu sorta da (zenbaki bakoiti guztien multzo infinitua adibidez).
 
Multzo partzialki ordenatuak eta beste erlazioak dituztenak, beste hainbat arlotan dituzte aplikazioak.
 
Matematika diskretuan, [[Multzo zenbakigarri|multzo zenbakigarriak]] (multzo finituak barne) dira, (...). Multzo teoria, [[Georg Cantor|Georg Cantorren]] lanarekin hasi zela esan ohi da.
 
Multzo-teoria finituen garapenik sakonena matematika diskretuaren helmenetik kanpo dago.
 
=== Konbinatoria ===
<blockquote>''Artikulu nagusia: [[Konbinatoria]]''</blockquote>Konbinatoria kontaketa-ebazkizunak aztertzen dituzten [[Matematika|teknika matematikoen]] multzoa da. Zehatzago, konbinatoriak propietate berdinak dituzten elementuak zenbatu eta elementu hauen multzoen ezaugarriak aztertzen ditu.
 
Konbinatoria zenbatzaileak, objetuen "zenbaketaz" arduratzen da.
 
=== Grafo Teoria ===
<blockquote>''Artikulu nagusia:'' [[Grafo teoria|Grafo Teoria]]</blockquote>