| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/reals/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 570 B |
|
Impressum factorial_props.pvs Sprache: PVS |
|||||||||
|
factorial_props: THEORY
%---------------------------------------------------------------------------- % % Factorial function: factorial(n) = n! % % Author: Rick Butler NASA Langley Research Center % David Lester Manchester University % %---------------------------------------------------------------------------- BEGIN IMPORTING ints@factorial, sqrt n,k: VAR nat factorial_2n_lb: LEMMA sqrt(n)^(2*n) <= factorial(2*n) factorial_2np1_lb: LEMMA sqrt(n)^(2*n+1) <= factorial(2*n+1) END factorial_props ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.10Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
