| products/Sources/formale Sprachen/C/Firefox/mobile/android/ (Android Betriebssystem Version 17©) Datei vom 27.6.2026 mit Größe 1 kB |
|
SSL sqrt_two.pvsInteraktion undPortierbarkeitPVS |
|||||||||||||||
|
sqrt_two: THEORY %------------------------------------------------------------------------- % the proof that the square root of two is irrational % Author: Alfons Geser, HTWK Leipzig, Germany % Date: May, 2009 %------------------------------------------------------------------------- BEGIN IMPORTING reals@sqrt, ints@gcd_fractions n: VAR nat even_or_odd: LEMMA divides(2, n) IFF NOT divides(2, n + 1) two_divides_sq: LEMMA divides(2, sq(n)) IFF divides(2, n) sqrt2_is_irrational: THEOREM NOT rational_pred(sqrt(2)) END sqrt_two
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.9Angebot (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-15) ¤*Eine klare Vorstellung vom Zielzustand |
|
||||||||||||||
2026-08-25