Μετάβαση στο περιεχόμενο

Αποτελέσματα αναζήτησης

Εμφάνιση: προηγ. 20- (20 | 50 | 100 | 250 | 500).
  • Μικρογραφία για το Λευκόχρυσος
    Karpov A., Konuma M., Jansen M. (2006). «An experimental proof for negative oxidation states of platinum: ESCA-measurements on barium platinides». Chemical...
    207 KB (15.001 λέξεις) - 09:38, 27 Ιουλίου 2024
  • hms.gr/apothema/?s=sa&i=3403.  Trainin, J. (2007). «91.70 an Elementary Proof of Pick's Theorem». The Mathematical Gazette 91 (522): 536-540. https://www...
    12 KB (433 λέξεις) - 17:31, 29 Ιουνίου 2024
  • Μικρογραφία για το Φυματίωση
      Bonah C (2005). «The 'experimental stable' of the BCG vaccine: safety, efficacy, proof, and standards, 1921–1933». Stud Hist Philos Biol Biomed...
    119 KB (9.499 λέξεις) - 08:17, 28 Ιουλίου 2024
  • no attribution for his proof, so one infers that it is original with him. But Davis has pointed out that a statement of the proof exists informally in Kleene...
    41 KB (3.512 λέξεις) - 11:40, 15 Ιουλίου 2023
  • «New Proof Settles How to Approximate Numbers Like Pi». Quanta Magazine (στα Αγγλικά). Ανακτήθηκε στις 1 Μαρτίου 2023.  Sloman, Leila. «New Proof Solves...
    11 KB (985 λέξεις) - 01:27, 19 Μαΐου 2024
  • Μικρογραφία για το Διωνυμικός συντελεστής
    στις 2015-09-21.  PlanetMath: Binomial Coefficient, Bounds for binomial coefficients, Generalized binomial coefficients, Proof that C(n,k) is an integer....
    6 KB (486 λέξεις) - 09:59, 4 Σεπτεμβρίου 2022
  • εμπεριέχει κάθε λογικώς εφικτό], οι διαφορές των συστημάτων απόδειξης [proof systems: μαθηματικά, γεωμετρίες] από τα συστήματα ευρείας υποστατότητας...
    7 KB (610 λέξεις) - 17:38, 30 Ιουνίου 2024
  • University of Tennessee.  Gauss, C.F. Werke , Bd 2 , 1st ed. Göttingen , 1863. σελ. 444-447.  Pereira, N. Costa (1985-01-01). «A Short Proof of Chebyshev's...
    58 KB (6.020 λέξεις) - 01:24, 12 Ιουλίου 2024
  • Μικρογραφία για το Τελευταίο θεώρημα του Φερμά
    Ιανουαρίου 2013. Ανακτήθηκε στις 5 Αυγούστου 2004.  «The Proof».  The title of one edition of the PBS television series NOVA, discusses Andrew Wiles's...
    83 KB (7.353 λέξεις) - 13:13, 9 Απριλίου 2024
  • Dre και Snoop Dogg και με τη συμμετοχή των καλλιτεχνών Ice Cube, Eminem, Proof, Nate Dogg, Kurupt, D12, MC Ren, Westside Connection, Mel-Man, Tha Eastsidaz...
    14 KB (731 λέξεις) - 17:02, 30 Δεκεμβρίου 2022
  • Μικρογραφία για το Φυσικός αριθμός
    Morash, Ronald P. (1991). Bridge to Abstract Mathematics: Mathematical proof and structures (Second έκδοση). Mcgraw-Hill College. ISBN 978-0-07-043043-3...
    47 KB (3.763 λέξεις) - 13:05, 31 Ιουλίου 2024
  • An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, 2nd ed, Kluwer Academic Publishers, ISBN 1402007639 Stewart Shapiro, 1991...
    5 KB (398 λέξεις) - 15:17, 31 Μαρτίου 2023
  • id=Va-quzVwtMsC  Darmon, Henri (1999), «A proof of the full Shimura–Taniyama–Weil conjecture is announced», Notices of the American Mathematical Society 46...
    13 KB (1.084 λέξεις) - 01:00, 13 Ιουνίου 2024
  • Μικρογραφία για το Λοιμός των Αθηνών
    Fall of Athens - Livescience.com».  (Αγγλικά) Beth Shapiro, Andrew Rambaut, and M. Thomas P. Gilbert. "No proof that typhoid caused the Plague of Athens...
    39 KB (2.747 λέξεις) - 06:06, 1 Ιουλίου 2023
  • up to an overview of the proof of the modularity theorem. Gelbart, Stephen S. (1975), Automorphic Forms on Adèle Groups, Annals of Mathematics Studies...
    5 KB (348 λέξεις) - 09:52, 22 Μαΐου 2024
  • Μικρογραφία για το Ρόουζ Μακ Γκάουαν
    Τον επόμενο χρόνο πρωταγωνίστησε στις δυο ταινίες Planet Terror και Death Proof, γνωστές με το συλλογικό τίτλο Grindhouse. Ανακτήθηκε στις 4  Μαρτίου 2021...
    9 KB (390 λέξεις) - 08:12, 6 Αυγούστου 2023
  • Language Proof and Logic, Stanford, CA: CSLI Publications (Distributed by the University of Chicago Press) Bocheński, Józef Maria (2007); A Précis of Mathematical...
    91 KB (8.212 λέξεις) - 08:58, 11 Ιουνίου 2024
  • even and is not odd, in Penner, Robert C. (1999). Discrete Mathematics: Proof Techniques and Mathematical Structures. World Scientific. p. 34. ISBN 981-02-4088-0...
    33 KB (2.551 λέξεις) - 20:37, 17 Δεκεμβρίου 2023
  • «A Metalanguage for interactive proof in LCF». Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages: 119–130. doi:https://doi...
    38 KB (3.302 λέξεις) - 17:09, 11 Ιουνίου 2023
  • Μικρογραφία για το Θεώρημα του Ευκλείδη
    Filip (December 2006). A New Proof of Euclid's Theorem. 113. doi:10.2307/27642094. http://fermatslibrary.com/s/a-new-proof-of-euclids-theorem.  Debnath,...
    30 KB (3.037 λέξεις) - 16:09, 1 Μαρτίου 2024
Εμφάνιση: προηγ. 20- (20 | 50 | 100 | 250 | 500).