Search
 
 
  Engleski
 
 
 
Open in this window (click to change)
Forum@DeGiorgi: Početna
Forum za podršku nastavi na PMF-MO
Login Registracija FAQ Smajlići Članstvo Pretražnik Forum@DeGiorgi: Početna

Pronađeno: 592.
Forum@DeGiorgi: Početna
Autor/ica Poruka
  Tema: Preminuo je prof. Singer
Melkor

Odgovori: 2
Pogledano: 2661

PostForum: Obavijesti: Fakultet   Postano: 5:19 pon, 21. 9. 2020   Naslov: Preminuo je prof. Singer
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 ...
  Tema: Logaritmi (zadatak)
Melkor

Odgovori: 1
Pogledano: 922

PostForum: Čistilište   Postano: 19:09 uto, 28. 4. 2020   Naslov: Re: Logaritmi (zadatak)
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: 5691

PostForum: Opća pitanja i rasprave o studiju   Postano: 22:03 sri, 25. 12. 2019   Naslov: Trebam pomoć u vezi karijere, studija (i života)
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: 694

PostForum: Čistilište   Postano: 0:43 pon, 15. 4. 2019   Naslov: Asocijativnost i komutativnost zbrajanja u N
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: 987

PostForum: Kombinatorika   Postano: 1:21 ned, 16. 12. 2018   Naslov: Članak o kombinatorici
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: 1433

PostForum: Čistilište   Postano: 23:19 sri, 22. 2. 2017   Naslov: Zadata (2 Razred srednje skole)
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: 3106

PostForum: Matematika (općenito)   Postano: 10:18 uto, 11. 10. 2016   Naslov: Five Stages of Accepting Constructive Mathematics
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: 1059

PostForum: Diplomski, magisteriji, doktorati,...   Postano: 12:26 pet, 15. 4. 2016   Naslov: Maryland Max Planck doktorski studiji računarstva
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: 923

PostForum: Diplomski, magisteriji, doktorati,...   Postano: 9:24 čet, 3. 3. 2016   Naslov: Studiji i prakse u području aproksimativnog izračunavanja
[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: 977

PostForum: Diplomski, magisteriji, doktorati,...   Postano: 22:22 pet, 8. 1. 2016   Naslov: Doktorski studij na projektu RustBelt
[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: 3818

PostForum: Bućkuriš   Postano: 13:55 ned, 4. 10. 2015   Naslov: tjelovjezba za mozak (problemski zadak/ci)
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: 3818

PostForum: Bućkuriš   Postano: 9:14 uto, 29. 9. 2015   Naslov: tjelovjezba za mozak (problemski zadak/ci)
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: 1332

PostForum: Čistilište   Postano: 11:02 čet, 7. 5. 2015   Naslov: Vjerojatnost, ponovljeni testovi, potvrda rezultata...
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: 6370

PostForum: Bućkuriš   Postano: 2:22 ned, 22. 2. 2015   Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
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: 6370

PostForum: Bućkuriš   Postano: 0:45 sub, 21. 2. 2015   Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
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: 6370

PostForum: Bućkuriš   Postano: 14:43 čet, 19. 2. 2015   Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
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: 6370

PostForum: Bućkuriš   Postano: 17:32 sri, 18. 2. 2015   Naslov: clanak o nastavi racunarstva na FER-u (i malo reklame MO-u)
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: 1368

PostForum: Matematika (općenito)   Postano: 14:16 pon, 31. 3. 2014   Naslov: Formalno verificirana matematika
U najnovijem izdanju časopisa Formally Verified Mathematics
  Tema: Viza za USA (kraci boravak, konferencija)
Melkor

Odgovori: 2
Pogledano: 1898

PostForum: Opća pitanja i rasprave o studiju   Postano: 17:34 pet, 28. 3. 2014   Naslov: Viza za USA (kraci boravak, konferencija)
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: 1289

PostForum: Matematika (općenito)   Postano: 18:35 čet, 13. 3. 2014   Naslov: Propositions as Types & The Holy Trinity of Computation
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 ...
 
Stranica 1 / 30. Idite na 1, 2, 3 ... 28, 29, 30  Sljedeće
Vremenska zona: GMT + 01:00.
Forum(o)Bir:  


Powered by phpBB © 2001, 2002 phpBB Group
Theme created by Vjacheslav Trushkin
HR (Cro) by Ančica Sečan