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
