Matematika (z gr. μαθηματικός (mathematikós) = milujúci poznanie > μάθημα (máthema) = veda, poznanie) je väčšinou definovaná ako štúdium zákonitostí štruktúry, zmeny a priestoru. Neformálne ju môžeme tiež nazvať štúdiom "diagramov a čísel". Z formálneho hľadiska je matematika skúmanie axiomaticky definovaných formálnych štruktúr použitím logiky a matematického označenia. Matematiku možno chápať jednoducho ako rozšírenie hovoreného a písaného jazyka s veľmi presne definovanou slovnou zásobou a gramatikou, za účelom opisovať a skúmať fyzikálne a konceptuálne vzťahy.
Problém obchodníka, ktorý musí prejsť všetky nemecké mestá znázornené na obrázku, pričom každé navštívi iba raz.
Teória zložitosti je časť teoretickej informatiky zaoberajúca sa množstvom požadovaných zdrojov počas výpočtu riešiaceho daný problém. Najčastejšie uvažovaným zdrojom je čas (koľko krokov je potrebných na vyriešenie problému) a priestor (koľko pamäti je potrebnej na vyriešenie problému). Príklady ďalších zdrojov sú počet paralelných procesorov a celková práca vynaložená na riešenie problému v paralelnom systéme. Teória zložitosti sa odlišuje od teórie vypočítateľnosti, ktorá skúma len či sa problém dá vyriešiť alebo nie, bez uvažovania o potrebných zdrojoch.
Po založení teórie objasňujúcej, ktoré problémy sa dajú algoritmicky riešiť a ktoré nie, bolo prirodzené sa pýtať na relatívnu výpočtovú zložitosťvypočítateľných funkcií. Na problémy sa pozeráme ako na formálne jazyky, a tak jeden "problém" je často celá množina otázok, kde každá otázka je slovo konečnej dĺžky z tohto jazyka. Napríklad, problém FAKTORIZÁCIA je špecifikovaný nasledovne: na vstupe je dané celé číslo zapísané v binárnom tvare, na výstupe požaduje všetky prvočíselné faktory tohto čísla. Jedna takáto otázka (teda konkrétne jedno slovo z jazyka) sa nazýva inštancia problému; napr. "vráť všetky prvočíselné faktory čísla 15" je jedna inštancia problému FAKTORIZÁCIA.
História: Tento portál založil 21. augusta2006Wizzard s filozofickou poznámkou, že matematiky nikdy nie je dosť. V roku 2008 sa portálu ujal Svalnac2 a o rok neskôr Del. Od roku 2016 sú správcovia portálu MilanBA a Zajano.
Súčasnosť: Ak máte nejaké otázky alebo chcete pomôcť v rozvoji Matematického portálu, pokojne kontaktujte nasledovných redaktorov: MilanBA alebo Zajano.
Potrebujeme aj Tvoju pomoc pri tvorbe a úprave nasledujúcich článkov