Matematika

Automatické dokazování, verifikace softwaru i hardwaru

Matematika , Neživá příroda , Technologie | 13.09.2013

formální ověření správnosti programu je velmi podobné formálnímu ověření matematických vět, a tedy i v tomto případě mohou automatické dokazovače podstatně usnadnit práci. více


Automatické dokazování vět

Matematika , Neživá příroda , Technologie | 12.09.2013

Automatické dokazování lze použít k řešení logických problémů a hlavolamů, od sudoku přes rozestavování dam na šachovnici tak, aby se neohrožovaly, až po problém složení Rubikovy kostky. více


Ukrytí kódu – co na to matematika?

Matematika , Neživá příroda , Technologie | 03.09.2013

Profesor computer science Amit Sahai a jeho kolegové z University of California v Los Angeles tvrdí, že přišli s konceptem kódu softwaru, který vylučuje zpětné (reverzní) inženýrství. více


Turingův test naruby a vědecké války

Člověk , Lingvistika , Matematika , Neživá příroda | 29.08.2013

Použijete-li simulátor typu Monte Carlo, občas se vám může podařit vytvořit text zaměnitelný za literární projev, vědecký text však takto zkonstruovat nelze. více



Hilbertovy hotely a hrátky s nekonečny

Matematika , Neživá příroda | 16.08.2013

Hilbertovy hotely ukazují paradoxy, na které narážíme, když se pokoušíme pracovat s nekonečnem, jako by to bylo normální číslo. Jak v nekonečném hotelu ubytovat hosty z nekonečně mnoha jiných nekonečných hotelů? více


Apollóniovy úlohy

Matematika , Neživá příroda | 01.08.2013

Apollóniova úloha zaujímá mezi všemi planimetrickými úlohami významné místo nejenom proto, že její jednoduché zadání vyžaduje hlubší geometrické znalosti, ale i proto, že při jejím řešení bylo objeveno mnoho nových geometrických poznatků. více


Perlička: Přelévání lahví

Matematika , Neživá příroda | 19.07.2013

V první láhvi (je plná) je 9 litrů vody. Máme ji rozdělit na tři shodné části. K tomu máme tři prázdné lahve o objemu 5, 4 a 2 litry. více


Lidský mozek není připraven utkat se s pravděpodobností

Člověk , Matematika , Neživá příroda , Psychologie | 12.07.2013

Rodina xy má dvě děti, jedno z nich je dcera. Jaká je pravděpodobnost, že rodina má dvě dcery? A co změní, když známe jméno dcery? Náš mozek není na úlohy tohoto druhu uzpůsoben... více



Fázové přechody, obchodní cestující a empirický výzkum algoritmů

Matematika , Neživá příroda , Technologie | 05.07.2013

Řada závěrů empirického testování algoritmů je překvapivých: náhodně zadané NP úplné problémy nebývají obtížné. Často se kupodivu vyplatí algoritmus, který rychle nedá řešení, zahodit, přijít o všechny zatím dosažené výsledky a spustit algoritmus znovu s náhodnou změnou... více