Pronađeno: 592.

Tragičan gubitak. Sad

Saša mi je predavao Složenost algoritama i Aritmetičke i algebarske algoritme, te mi je bio u komisiji za diplomski ispit. Kad sam se prijavljivao na doktorske studije, p ...

To mi nije jasno kako su dosli do te zadnje jednakosti ?

Koristeći (dvaput) generalno pravilo o zamjeni baze logaritma: [tex]\log_y x = (\log_z x) \big/ (\log_z y)[/tex]. Zašto to vrijedi? Pa zna ...

Zasto ne probas proci neke online kurseve na [url=https://www.coursera.org/]Courseri ili [url=https://www.udacity.com/]Udacityju? Mislim da si ti upravo klijentela na koju se fokusiraju ti sajtovi. Pr ...

Ako te zanimaju i vesele rigorozno raspisani dokazi osnovnih svojstava brojeva, zašto ih ne probaš napisati u "proof assistantu" poput [url=https://coq.inria.fr/]Coqa ili [url=https://wiki ...

Dobar članak. Koja knjiga (ili više njih) je dobra za pročitati nešto više o Polya-Redfield enumeraciji i algebarskoj kombinatorici?

A opinions Dorona Zeilbergera su vrlo zabavno štivo. Uvije ...

Malo je cudno srocen zadatak. Jesi siguran da tako pise?

Tocno je da ako je [tex]x_1[/tex] rjesenje jednadzbe [tex]ax^2+bx+c=0[/tex], onda je [tex]1/x_1[/tex] rjesenje jednadzbe [tex]cx^2+bx+a=0[/t ...

Sada postoji i Andrejev članak Five stages of accepting constructive mathematics, objavljen u Bulletin of the AMS. Članak je besplatno dostupan svima.

ostvarljivosti (engl. realizability). U tom ...

Američko sveučilište na jesen sljedeće godine. S obzirom da se uz prijavu moraju priložiti rezultati [url=http://iro.hr/hr/standardizirani-testovi/]standardiziranih testova GRE i TOEFL, bitno je ...

[url=http://www.mpi-sws.org/~eva/]Eva Darulova s [url=http://www.mpi-sws.org/]Instituta Max Planck za softverske sustave (MPI-SWS) traži studente zainteresirane za tromjesečnu istraživačku praksu ...

[url=https://www.rust-lang.org/]Rust je nov i moderan programski jezik koji razvija Mozilla Research. Ideja je razviti jezik koji je s jedne strane low-level poput C-a i pogodan za razvoj efikasnog si ...

Dakle na 250 km je trenutno 1750 banana.
Može imati i više banana na 250 km. Recimo neka prenese dvaput po 600 i jednom 800 banana na 200 km. Znači na 200 km ima 2000 banana. Do 250 onda može pre ...

Evo jedna majmunska: Od 3000 banana potrebno je što više njih transportirati na udaljenost od 1000 km. Banane transportira majmun koji odjednom može nositi najviše 1000 banana, no za svaki kilomet ...

Dodatne pretpostavke:Testovi su jednako tocni u slucajevima da je osoba pozitivna/trudna i negativna/ne-trudna
Test B ponavljamo neparan broj puta i uzimamo vecinski rezultat
Visetruka izvodjenja te ...

S te strane bi prosječan student trebao biti zadovoljan, jer naši studiji (kao i ostali studiji u Hrvatskoj, a vjerojatno i u svijetu) su osmišljeni za prosječne i ispodprosječne ljude.
S tim se ...

Onome tko programira u nekom funkcijskom jeziku će jako smetati što ništa o tome nije čuo na diplomskom studiju, a nekome tko se planira baviti strojnim učenjem (što je vjerojatno i najbitniji d ...

Sto fali kolegiju Interpretacija programa?
Koliko vidim iz opisa kolegija, to je kolegij o kompajlerima, ne o programskim jezicima. Usporedi to s opisom ovog kolegija na Courseri: https://www.courser ...

Inače mislim da ljudi jako pretjeruju s "nismo naučili ništa korisno na faksu"; prvenstveno jer se ne slažem s njihovom upotrebom termina "korisno". Mislim da nije poanta faksa ...

U najnovijem izdanju časopisa Formally Verified Mathematics

Imam ja iskustva. B1 je ispravan tip, ali bolje je B1/B2 (kombinirano business i tourist), s obzirom da ti ne treba ništa dodatno za kombinaciju.

Sam postupak je prilično straightforward. Prijavi ...

Skrenuo bih pažnju zainteresiranim računarcima (i ostalima) na članak koji IMHO na lijep i osebujan način opisuje duboku vezu između logike i programskih jezika, propozicija i tipova, dokaza i pr ...

Autor/ica	Poruka
Tema: Preminuo je prof. Singer
Melkor Odgovori: 2 Pogledano: 2949	Forum: Obavijesti: Fakultet Postano: 5:19 pon, 21. 9. 2020 Naslov: Preminuo je prof. Singer
Melkor Odgovori: 2 Pogledano: 2949	Tragičan gubitak. Saša mi je predavao Složenost algoritama i Aritmetičke i algebarske algoritme, te mi je bio u komisiji za diplomski ispit. Kad sam se prijavljivao na doktorske studije, p ...
Tema: Logaritmi (zadatak)
Melkor Odgovori: 1 Pogledano: 1011	Forum: Čistilište Postano: 19:09 uto, 28. 4. 2020 Naslov: Re: Logaritmi (zadatak)
Melkor Odgovori: 1 Pogledano: 1011	To mi nije jasno kako su dosli do te zadnje jednakosti ? Koristeći (dvaput) generalno pravilo o zamjeni baze logaritma: [tex]\log_y x = (\log_z x) \big/ (\log_z y)[/tex]. Zašto to vrijedi? Pa zna ...
Tema: Trebam pomoć u vezi karijere, studija (i života)
Melkor Odgovori: 3 Pogledano: 5844	Forum: Opća pitanja i rasprave o studiju Postano: 22:03 sri, 25. 12. 2019 Naslov: Trebam pomoć u vezi karijere, studija (i života)
Melkor Odgovori: 3 Pogledano: 5844	Zasto ne probas proci neke online kurseve na [url=https://www.coursera.org/]Courseri ili [url=https://www.udacity.com/]Udacityju? Mislim da si ti upravo klijentela na koju se fokusiraju ti sajtovi. Pr ...
Tema: Asocijativnost i komutativnost zbrajanja u N
Melkor Odgovori: 1 Pogledano: 754	Forum: Čistilište Postano: 0:43 pon, 15. 4. 2019 Naslov: Asocijativnost i komutativnost zbrajanja u N
Melkor Odgovori: 1 Pogledano: 754	Ako te zanimaju i vesele rigorozno raspisani dokazi osnovnih svojstava brojeva, zašto ih ne probaš napisati u "proof assistantu" poput [url=https://coq.inria.fr/]Coqa ili [url=https://wiki ...
Tema: Članak o kombinatorici
Melkor Odgovori: 2 Pogledano: 1127	Forum: Kombinatorika Postano: 1:21 ned, 16. 12. 2018 Naslov: Članak o kombinatorici
Melkor Odgovori: 2 Pogledano: 1127	Dobar članak. Koja knjiga (ili više njih) je dobra za pročitati nešto više o Polya-Redfield enumeraciji i algebarskoj kombinatorici? A opinions Dorona Zeilbergera su vrlo zabavno štivo. Uvije ...
Tema: Zadata (2 Razred srednje skole)
Melkor Odgovori: 5 Pogledano: 1525	Forum: Čistilište Postano: 23:19 sri, 22. 2. 2017 Naslov: Zadata (2 Razred srednje skole)
Melkor Odgovori: 5 Pogledano: 1525	Malo je cudno srocen zadatak. Jesi siguran da tako pise? Tocno je da ako je [tex]x_1[/tex] rjesenje jednadzbe [tex]ax^2+bx+c=0[/tex], onda je [tex]1/x_1[/tex] rjesenje jednadzbe [tex]cx^2+bx+a=0[/t ...
Tema: Five Stages of Accepting Constructive Mathematics
Melkor Odgovori: 5 Pogledano: 3197	Forum: Matematika (općenito) Postano: 10:18 uto, 11. 10. 2016 Naslov: Five Stages of Accepting Constructive Mathematics
Melkor Odgovori: 5 Pogledano: 3197	Sada postoji i Andrejev članak Five stages of accepting constructive mathematics, objavljen u Bulletin of the AMS. Članak je besplatno dostupan svima. ostvarljivosti (engl. realizability). U tom ...
Tema: Maryland Max Planck doktorski studiji računarstva
Melkor Odgovori: 0 Pogledano: 1115	Forum: Diplomski, magisteriji, doktorati,... Postano: 12:26 pet, 15. 4. 2016 Naslov: Maryland Max Planck doktorski studiji računarstva
Melkor Odgovori: 0 Pogledano: 1115	Američko sveučilište na jesen sljedeće godine. S obzirom da se uz prijavu moraju priložiti rezultati [url=http://iro.hr/hr/standardizirani-testovi/]standardiziranih testova GRE i TOEFL, bitno je ...
Tema: Studiji i prakse u području aproksimativnog izračunavanja
Melkor Odgovori: 0 Pogledano: 994	Forum: Diplomski, magisteriji, doktorati,... Postano: 9:24 čet, 3. 3. 2016 Naslov: Studiji i prakse u području aproksimativnog izračunavanja
Melkor Odgovori: 0 Pogledano: 994	[url=http://www.mpi-sws.org/~eva/]Eva Darulova s [url=http://www.mpi-sws.org/]Instituta Max Planck za softverske sustave (MPI-SWS) traži studente zainteresirane za tromjesečnu istraživačku praksu ...
Tema: Doktorski studij na projektu RustBelt
Melkor Odgovori: 0 Pogledano: 1035	Forum: Diplomski, magisteriji, doktorati,... Postano: 22:22 pet, 8. 1. 2016 Naslov: Doktorski studij na projektu RustBelt
Melkor Odgovori: 0 Pogledano: 1035	[url=https://www.rust-lang.org/]Rust je nov i moderan programski jezik koji razvija Mozilla Research. Ideja je razviti jezik koji je s jedne strane low-level poput C-a i pogodan za razvoj efikasnog si ...
Tema: tjelovjezba za mozak (problemski zadak/ci)
Melkor Odgovori: 16 Pogledano: 4017	Forum: Bućkuriš Postano: 13:55 ned, 4. 10. 2015 Naslov: tjelovjezba za mozak (problemski zadak/ci)
Melkor Odgovori: 16 Pogledano: 4017	Dakle na 250 km je trenutno 1750 banana. Može imati i više banana na 250 km. Recimo neka prenese dvaput po 600 i jednom 800 banana na 200 km. Znači na 200 km ima 2000 banana. Do 250 onda može pre ...
Tema: tjelovjezba za mozak (problemski zadak/ci)
Melkor Odgovori: 16 Pogledano: 4017	Forum: Bućkuriš Postano: 9:14 uto, 29. 9. 2015 Naslov: tjelovjezba za mozak (problemski zadak/ci)
Melkor Odgovori: 16 Pogledano: 4017	Evo jedna majmunska: Od 3000 banana potrebno je što više njih transportirati na udaljenost od 1000 km. Banane transportira majmun koji odjednom može nositi najviše 1000 banana, no za svaki kilomet ...
Tema: Vjerojatnost, ponovljeni testovi, potvrda rezultata...
Melkor Odgovori: 2 Pogledano: 1425	Forum: Čistilište Postano: 11:02 čet, 7. 5. 2015 Naslov: Vjerojatnost, ponovljeni testovi, potvrda rezultata...
Melkor Odgovori: 2 Pogledano: 1425	Dodatne pretpostavke:Testovi su jednako tocni u slucajevima da je osoba pozitivna/trudna i negativna/ne-trudna Test B ponavljamo neparan broj puta i uzimamo vecinski rezultat Visetruka izvodjenja te ...
Tema: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	Forum: Bućkuriš Postano: 2:22 ned, 22. 2. 2015 Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	S te strane bi prosječan student trebao biti zadovoljan, jer naši studiji (kao i ostali studiji u Hrvatskoj, a vjerojatno i u svijetu) su osmišljeni za prosječne i ispodprosječne ljude. S tim se ...
Tema: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	Forum: Bućkuriš Postano: 0:45 sub, 21. 2. 2015 Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	Onome tko programira u nekom funkcijskom jeziku će jako smetati što ništa o tome nije čuo na diplomskom studiju, a nekome tko se planira baviti strojnim učenjem (što je vjerojatno i najbitniji d ...
Tema: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	Forum: Bućkuriš Postano: 14:43 čet, 19. 2. 2015 Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	Sto fali kolegiju Interpretacija programa? Koliko vidim iz opisa kolegija, to je kolegij o kompajlerima, ne o programskim jezicima. Usporedi to s opisom ovog kolegija na Courseri: https://www.courser ...
Tema: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	Forum: Bućkuriš Postano: 17:32 sri, 18. 2. 2015 Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
Melkor Odgovori: 20 Pogledano: 6638	Inače mislim da ljudi jako pretjeruju s "nismo naučili ništa korisno na faksu"; prvenstveno jer se ne slažem s njihovom upotrebom termina "korisno". Mislim da nije poanta faksa ...
Tema: Formalno verificirana matematika
Melkor Odgovori: 0 Pogledano: 1431	Forum: Matematika (općenito) Postano: 14:16 pon, 31. 3. 2014 Naslov: Formalno verificirana matematika
Melkor Odgovori: 0 Pogledano: 1431	U najnovijem izdanju časopisa Formally Verified Mathematics
Tema: Viza za USA (kraci boravak, konferencija)
Melkor Odgovori: 2 Pogledano: 1974	Forum: Opća pitanja i rasprave o studiju Postano: 17:34 pet, 28. 3. 2014 Naslov: Viza za USA (kraci boravak, konferencija)
Melkor Odgovori: 2 Pogledano: 1974	Imam ja iskustva. B1 je ispravan tip, ali bolje je B1/B2 (kombinirano business i tourist), s obzirom da ti ne treba ništa dodatno za kombinaciju. Sam postupak je prilično straightforward. Prijavi ...
Tema: Propositions as Types & The Holy Trinity of Computation
Melkor Odgovori: 0 Pogledano: 1366	Forum: Matematika (općenito) Postano: 18:35 čet, 13. 3. 2014 Naslov: Propositions as Types & The Holy Trinity of Computation
Melkor Odgovori: 0 Pogledano: 1366	Skrenuo bih pažnju zainteresiranim računarcima (i ostalima) na članak koji IMHO na lijep i osebujan način opisuje duboku vezu između logike i programskih jezika, propozicija i tipova, dokaza i pr ...

Search
Engleski Open in this window (click to change)