Reklama
Nepřihlášený uživatel | Zaregistrovat se
 

Téma:

Věda a technika, mládeži

Spravují:

snop, arnost

Může vás zajímat



Reklama



pojmy a tak naleznete docela dobre vysvetlene a definovane zde (Wikipedia)
Nebo z jineho zdroje zde (Math Thesaurus)

pripadne se zkuste pohrabat v nejvetsi encyklopedii matematiky: http://mathworld.wolfram.com/


DadB jsem zralý na  šrotovné 24.listopad 2014 15:04:13
Kolega hledá SŠ učitele matematiky do České Třebové. Kdyžtak vzkazník. Dík.
r0b0t ~ matika šmatika ~  braidd drwg 19.listopad 2014 18:49:30
No já jsem laik, tak to chápu jednoduše tak, že konstruktivní (konstruktivistický?) důkaz musí být pravdivě interpretovatelný nad každým toposem. Takže když najdeš topos, kde to dokazované tvrzení neplatí, máš vyhráno.
Aha, už jsem si to přečetl pořádně. Ignorujte můj dotaz :-)
Co se v tomhle případě myslí konstruktivním důkazem? Šlo by to nějak shrnout? Jakože konstruktivně dokážou, že nejde konstruktivně dokázat halting problém (například)?
r0b0t ~ matika šmatika ~  braidd drwg 19.listopad 2014 11:10:22
No já na to narazil přes Hamkinse, kterej psal, že to Bauerovi už vyšlo v časopise a že tím teda dokázal neexistenci konstruktivního (konstruktivistického) důkazu. Je prima, že se nějaký úchylný toposy k tomuhle daj použít. A pak že ty abstraktní nesmysly k ničemu nejsou... :)
arnost snad nechci tak   moks 19.listopad 2014 9:10:24
jasne, pokud tyhle masiny jsou schopny resit halting problem normalnich turingacu, pak je asi jasne, ze se daji nasadit i proti jinym diagonalizacim
r0b0t ~ matika šmatika ~  braidd drwg 18.listopad 2014 19:02:45
r0b0t ~ matika šmatika ~  braidd drwg 16.listopad 2014 21:59:36
NSN(12, x) = 36
NSD(12, x) * NSN(12, x) = 12x
-------------------------------------
3 NSD(12, x) = x

3 (12a + b x) = x (<-- Bezoutova identita)
x = - 36 a / (3b -1)
hkmaly - Slava pomlcky -  . 16.listopad 2014 14:58:46
Nechapu. Mas pocit, ze uvedeny algoritmus nelze prevest na program nedeterministickeho turingova stroje? Nevidim problem. Nejdriv si na jednu pasku vygenerujes nahodnou sekvenci nahodnych cisel, pote overis, ze soucin prvocisel s nasobnosti podle te sequence je "a", na druhe pasce stejnym zpusobem rozlozis "b", pote odectes a spocitas vysledek.

Jinak, jediny rychly algoritmus okolo je eukliduv algoritmus pro vypocet nejvetsiho spolecneho delitele. Nejmensi spolecny nasobek je soucin deleny nejvetsim spolecnym delitelem. Ale osobne nevidim, jak by se to dalo vyuzit ke zrychleni tohohle.

Samozrejme, asymptoticky rychly. Faktem je, ze pro ulohy ze seste tridy je nejrychlejsi upravenym algoritmem pro eratosthenovo sito predpocitat rozklad vsech cisel do 1000 a dva roky pouzivat: s vyssim cislem se nepotkas a nizsi za ty dva roky potkas opakovane takze se ti to sito vyplati. (Uprava na principu "kdyz skrtas cislo v situ, tak misto toho napsat to prvocislo kvuli kteremu ho skrtas a vysledek deleni, po skonceni algoritmu nahradis kazdy vysledek deleni jeho rozkladem.)
Což je tedy "algoritmus" jen ve stejném smyslu, jako ty "algoritmy" na výpočet nsd/NSN rozkladem na prvočísla, co se v té šesté třídě učí...
DadB jsem zralý na  šrotovné 15.listopad 2014 20:02:39
Jo! Díky.
radamec Staňte se členy  FRA 15.listopad 2014 19:38:01
Rozlož si to na prvočísla a porovnávej exponenty. Je-li exponent v 36 nižší než v 12, nemá to řešení. Jsou-li si exponenty rovny, můžeš prvočíslo ignorovat. Je-li exponent v 36 vyšší než v 12, zařaď prvočíslo do výsledku s tím vyšším exponentem.
DadB jsem zralý na  šrotovné 15.listopad 2014 18:23:09
Přemýšlím, zda mi stále uniká něco úplně triviálního, ale mám pocit, že nestačí.
Google a wiki ti nestačí?
DadB jsem zralý na  šrotovné 15.listopad 2014 17:26:01
Asi dnes nemám dobrý den, ale jaký je algoritmus k nalezení druhého "činitele", pokud znám jednoho a nejmenší společný násobek (šestá třída).

NSN(12, ?)=36

OK, vždy můžu jako řešení vzít přímo ten společný násobek, ale co kdybych chtěl tu neznámou minimalizovat?
radamec Staňte se členy  FRA 13.listopad 2014 11:15:08
Jó, primitivní kořen, to byly časy.. Byli jsme na nějakém soustředění ve Štiříně a bavili se o tom, proč pro každé p existuje primitivní kořen. Připletl se k tomu Nekovář, jen tak z hlavy nadhodil asi čtyři body, jak se to dokazuje, a my měli tři dny o čem přemýšlet. Ale přišli jsme na to.
Lejzy God is REAL unless declared   INTEGER. 13.listopad 2014 10:20:43
Aneb, číslo n=142857 je nezničitelné,

2*n = 285714
3*n = 428571
...
12*n = 1714284 (je treba secist prvni 1 a posledni 4)
...
15*n = 2142855 (je treba secist prvni 2 a posledni 5)
...
19*n = 2714283 (je treba secist prvni 2 a posledni 3)
arnost snad nechci tak   moks 13.listopad 2014 10:17:52
(jojo, ja jsem si na to taky vzpomnel v souvislosti s necim takovym)
Lejzy God is REAL unless declared   INTEGER. 13.listopad 2014 10:16:00
To zná každý, kdo si hrál s knihou http://www.databazeknih.cz/knihy/hry-s-kalkulatory-101868
arnost snad nechci tak   moks 13.listopad 2014 9:40:53
(to je tak nejak v druhem odstavci toho odkazu %)