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

Asocijativnost i komutativnost zbrajanja u N

Moja sarma
 
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Čistilište
Prethodna tema :: Sljedeća tema  
Autor/ica Poruka
AltairAC
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 31. 05. 2012. (11:38:58)
Postovi: (E)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
= 1 - 0

PostPostano: 20:50 sri, 3. 4. 2019    Naslov: Asocijativnost i komutativnost zbrajanja u N Citirajte i odgovorite

Ako se nekom da pogledati i komentirati (uzeti u obzir komentare na dnu):
https://math.stackexchange.com/questions/3162260/proving-that-addition-in-mathbbn-is-associative-and-commutative

Hvala!
Ako se nekom da pogledati i komentirati (uzeti u obzir komentare na dnu):
https://math.stackexchange.com/questions/3162260/proving-that-addition-in-mathbbn-is-associative-and-commutative

Hvala!


[Vrh]
Korisnički profil Pošaljite privatnu poruku
Melkor
Forumaš(ica)
Forumaš(ica)


Pridružen/a: 07. 10. 2004. (18:48:00)
Postovi: (291)16
Spol: kućni ljubimac
Sarma = la pohva - posuda
140 = 152 - 12
Lokacija: Void

PostPostano: 0:43 pon, 15. 4. 2019    Naslov: Citirajte i odgovorite

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[/url] ili [url=https://wiki.portal.chalmers.se/agda/pmwiki.php]Agde[/url]? Neka ti kompjutor provjeri je li dokaz točan.

Pogledaj npr. prva dva poglavlja knjige [url=https://plfa.github.io/]Programming Language Foundations in Agda[/url]. Ako ti je draži Coq (koji je btw puno korišteniji i rašireniji u praksi), početna poglavlja knjige [url=https://softwarefoundations.cis.upenn.edu/lf-current/index.html]Software Foundations Vol. 1: Logical Foundations[/url] prolaze iste stvari.

Nema rigoroznijeg od toga. Ako prođeš kroz te knjige razumjet ćeš principe indukcije i rigorozne dokaze teorema na jednoj sasvim novoj razini. A i otkrit ćeš puno mind-blowing stvari. :)
Ako te zanimaju i vesele rigorozno raspisani dokazi osnovnih svojstava brojeva, zašto ih ne probaš napisati u "proof assistantu" poput Coqa ili Agde? Neka ti kompjutor provjeri je li dokaz točan.

Pogledaj npr. prva dva poglavlja knjige Programming Language Foundations in Agda. Ako ti je draži Coq (koji je btw puno korišteniji i rašireniji u praksi), početna poglavlja knjige Software Foundations Vol. 1: Logical Foundations prolaze iste stvari.

Nema rigoroznijeg od toga. Ako prođeš kroz te knjige razumjet ćeš principe indukcije i rigorozne dokaze teorema na jednoj sasvim novoj razini. A i otkrit ćeš puno mind-blowing stvari. Smile



_________________
I don't know half of you half as well as I should like; and I like less than half of you half as well as you deserve.
[Vrh]
Korisnički profil Pošaljite privatnu poruku Posjetite Web stranice
Prethodni postovi:   
Započnite novu temu   Odgovorite na temu   printer-friendly view    Forum@DeGiorgi: Početna -> Ostalo - ozbiljno -> Čistilište Vremenska zona: GMT + 01:00.
Stranica 1 / 1.

 
Forum(o)Bir:  
Ne možete otvarati nove teme.
Ne možete odgovarati na postove.
Ne možete uređivati Vaše postove.
Ne možete izbrisati Vaše postove.
Ne možete glasovati u anketama.
You can attach files in this forum
You can download files in this forum


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