PawelG - Historia wersji

AndrzejSalwicki o 10:36, 23 mar 2020

2020-03-23T10:36:24Z

2020-03-16T11:25:34Z

2020-03-16T11:21:23Z

2020-03-16T11:19:55Z

2020-03-16T11:12:35Z

2020-03-16T11:10:08Z

2020-03-16T11:09:05Z

2020-03-16T11:08:24Z

2020-03-16T11:05:22Z

2020-03-16T11:03:04Z

← poprzednia wersja		Wersja z 10:36, 23 mar 2020
Linia 2:		Linia 2:
	# Czy potrafisz odgadnąc co ten program robi i sformułować odpowiednie twierdzenie?		# Czy potrafisz odgadnąc co ten program robi i sformułować odpowiednie twierdzenie?
	# Czy potrafisz je udowodnić?		# Czy potrafisz je udowodnić?
		+	# Czy potrafisz podać dowód w którym posługujesz sie wyłącznie aksjomatami rachunku programów (''alias'' AL), aksjomatami liczb naturalnych i regułami wnioskowania rachunku programów. Tak by czytelnik Twojego dowodu mógł zweryfikowac kazdy krok Twego rozumowania?

@@ Linia 12: / Linia 12: @@
        '''for''' j := 1 '''to''' n '''do''' write(A[j]) '''od''';
        writeln
     '''end''' DrukujA;
     '''unit''' F: '''procedure''';
        '''var''' i: integer;

@@ Linia 37: / Linia 37: @@
     licz:=0;
     '''call''' F;
-    writeln(''Bywaj``)
+    writeln(``Bywaj``)
   '''end''' PawelG
 <references/>

@@ Linia 9: / Linia 9: @@
     '''unit''' DrukujA:  '''procedure''';
        '''var''' j: integer
-    '''begin'''
+   '''begin'''
        writeln
-    '''end''' DrukujA;
+   '''end''' DrukujA;
-    '''unit''' F: '''procedure''';
+   '''unit''' F: '''procedure''';
        '''var''' i: integer;
-    '''begin'''
+   '''begin'''
        '''if''' k=n+1 '''then'''
             '''call''' DrukujA;  licz := licz+1
@@ Linia 28: / Linia 29: @@
        '''fi''';
           '''return'''
-    '''end''' F;
+   '''end''' F;
   '''begin'''
     readln(n);

@@ Linia 4: / Linia 4: @@
-  '''program''' PawelG;\ \ (* autor Paweł Gburzyński, 1983, <ref>Loglan Summer School, 1983, Instytut Informatyki, Uniwersytet Warszawski</ref>\ \ *)
+  '''program''' PawelG;   (*  autor Paweł Gburzyński, 1983, <ref>Loglan Summer School, 1983, Instytut Informatyki, Uniwersytet Warszawski</ref>  *)
     '''var''' A: '''arrayof''' integer;
     '''var''' n, k,   j, licz: integer ;
@@ Linia 29: / Linia 29: @@
           '''return'''
      '''end''' F;
-'''begin'''
+ '''begin'''
     readln(n);
     '''array''' A '''dim'''(1:n);
@@ Linia 37: / Linia 37: @@
     '''call''' F;
     writeln(''Bywaj``)
-'''end''' PawelG
+ '''end''' PawelG
 <references/>