Logika Algorytmiczna - Historia wersji

AndrzejSalwicki o 12:40, 25 lut 2026

2026-02-25T12:40:11Z

2026-02-25T12:39:18Z

2026-02-25T12:35:51Z

2026-02-25T12:34:11Z

‎Program logiki algorytmicznej

2025-09-07T17:47:13Z

2025-05-21T17:24:49Z

‎Wprowadzenie =

2025-05-21T15:44:07Z

‎Wprowadzenie

2019-09-10T05:58:12Z

2019-05-01T10:55:05Z

‎Bibliografia

2019-05-01T10:52:34Z

‎Bibliografia

@@ Linia 81: / Linia 81: @@
 W jeżyku logiki pierwszego rzędu zb→ór wyrażen poprawnie zbudowanych jest suma dwu rozłącznych zbiorów: zbioru termów(inaczej zbiór wyrażen nazwowych) i zbioru formuł. W rachunku programów (czyli logice algorytmicznej) w naturalny sposób pojaia się zbiór algorytmów. '''koniec uwagi'''
 Znaczeniem programu <math>P</math> jest funkcja ze zbioru <math>W</math> wartościowań zmiennych w ten sam zbiór. Zazwyczaj funkcję tę określa się przy pomocy pojęcia [[obliczenia programu]].<br />
 == Zastosowania ==

@@ Linia 81: / Linia 81: @@
 W jeżyku logiki pierwszego rzędu zb→ór wyrażen poprawnie zbudowanych jest suma dwu rozłącznych zbiorów: zbioru termów(inaczej zbiór wyrażen nazwowych) i zbioru formuł. W rachunku programów (czyli logice algorytmicznej) w naturalny sposób pojaia się zbiór algorytmów. '''koniec uwagi'''
 Znaczeniem programu <math>P</math> jest funkcja ze zbioru <math>W</math> wartościowań zmiennych w ten sam zbiór. Zazwyczaj funkcję tę określa się przy pomocy pojęcia [[obliczenia programu]].<br />
 <math>
 \begin{figure}[h]\begin{center}

@@ Linia 83: / Linia 83: @@
 <math>
 \begin{figure}[h]\begin{center}
    		\tikzstyle{stan}=[rectangle , text=blue]
    		\tikzstyle{is}=[->,>=latex,rounded corners=4pt]

@@ Linia 80: / Linia 80: @@
 '''Uwaga''' W języku logiki zdaniowej (rachunku zdań) rozważany jest jeden tylko zbiór wyrażeń poprawnie zbudowanych, jest to zbiór formuł (zdaniowych). Formuły stanowią najmniejszy zbiór napisów zawierający zbiór zmiennych zdaniowych i zamknięty ze względu na operatory logiczne.
 W jeżyku logiki pierwszego rzędu zb→ór wyrażen poprawnie zbudowanych jest suma dwu rozłącznych zbiorów: zbioru termów(inaczej zbiór wyrażen nazwowych) i zbioru formuł. W rachunku programów (czyli logice algorytmicznej) w naturalny sposób pojaia się zbiór algorytmów. '''koniec uwagi'''
-Znaczeniem programu <math>P</math> jest funkcja ze zbioru <math>W</math> wartościowań zmiennych w ten sam zbiór. Zazwyczaj funkcję tę określa się przy pomocy pojęcia [[obliczenia programu]].
+Znaczeniem programu <math>P</math> jest funkcja ze zbioru <math>W</math> wartościowań zmiennych w ten sam zbiór. Zazwyczaj funkcję tę określa się przy pomocy pojęcia [[obliczenia programu]].<br />
 == Zastosowania ==

@@ Linia 141: / Linia 141: @@
 # [AlgoLog] [[Media:Algorithmic_Logic.pdf | {{cytuj książkę |odn=tak| nazwisko = Mirkowska| imię = Grażyna | nazwisko2 = Salwicki | imię2 = Andrzej | tytuł = Algorithmic Logic | wydawca = PWN | miejsce = Warszawa | data = 1987 | strony = 345}}]]
-# [LogProg1] [[Media:LogikaAlgorytmiczna_1z2.pdf | {{cytuj książkę | odn=tak |imię2=Andrzej | nazwisko2=Salwicki | imię=Grażyna | nazwisko=Mirkowska| tytuł=Logika Algorytmiczna dla Programistów|wydawca=WNT | miejsce=Warszawa| data=1992|strony=294 }}]] cz.1
+# [LogProg1] [[Media:LogikaAlgorytmiczna_1z2.pdf | {{cytuj książkę | odn=tak |imię2=Andrzej | nazwisko2=Salwicki | imię=Grażyna | nazwisko=Mirkowska| tytuł=Logika Algorytmiczna dla Programistów|wydawca=WNT | miejsce=Warszawa| data=1992|strony=294 }}]] cz.1<br />
 # [LogProg2] [[Media:LogikaAlgorytmiczna_2z2.pdf | {{cytuj książkę | odn=tak |imię2=Andrzej | nazwisko2=Salwicki | imię=Grażyna | nazwisko=Mirkowska| tytuł=Logika Algorytmiczna dla Programistów|wydawca=WNT | miejsce=Warszawa| data=1992|strony=294 }}]] cz.2
 #[AL4software] [[Media:AlgoLogic.pdf| {{cytuj książkę | odn=tak |imię2=Andrzej | nazwisko2=Salwicki | imię=Grażyna | nazwisko=Mirkowska| tytuł=Algorithmic Logic for Software Construction and Verification|wydawca=Dąbrowa Research | miejsce=Dąbrowa Leśna| data=2014|strony=154 }}]]

@@ Linia 1: / Linia 1: @@
 <p style="text-align: right;"><small>''Felix qui potuit rerum cognoscere causas'' </small> </p>
 =Próba zmian
-= Wprowadzenie ==
+= Wprowadzenie =
 Logika algorytmiczna AL jest  ''rachunkiem logicznym''.  Nie jest to byle jaki system logiczny. Stworzony został przez nas  jako narzedzie pomocne i niezbędne w pracy nad oprogramowaniem.<br />
 Rachunek programów tj. logika algorytmiczna:

@@ Linia 2: / Linia 2: @@
 == Wprowadzenie ==
 Logika algorytmiczna AL jest  ''rachunkiem logicznym''.  Nie jest to byle jaki system logiczny. Stworzony został przez nas  jako narzedzie pomocne i niezbędne w pracy nad oprogramowaniem.<br />
 Rachunek programów AL umożliwia:
 # Wyrażenie własności programu przez odpowiednio napisaną formułę języka systemu AL [[Wyrażalność semantycznych własności programów]]

@@ Linia 154: / Linia 154: @@
 # [MSS2009] [[Media:Verifying-a-class.pdf  |{{cytuj pismo| odn=tak| nazwisko=Mirkowska| imię=Grażyna| nazwisko2=Salwicki| imię2=Andrzej| nazwisko3=Świda| imię3=Oskar| tytuł=Verifying a Class: combining Testing and Proving|czasopismo=Fundamenta Informaticae| strony= 305-324 |rok= 2009 }}]]
 # [AS2017] [[Media:On-Euclids-algorithm-2018.pdf | {{Cytuj pismo| odn=nie| nazwisko=Salwicki| imię=Andrzej| tytuł=A new proof of Euclid's algorithm | czasopismo= }}]]
-# [WWD1] [[ Media:WDnonprog.pdf |  {{Cytuj pismo | odn=nie| nazwisko= Dańko | imię=Wiktor | Nonprogrammable function defined by a procedure }} ]]
+# [WD1] [[ Media:WDnonprog.pdf |  {{Cytuj pismo | odn=nie| nazwisko= Dańko | imię=Wiktor | tytuł=Nonprogrammable function defined by a procedure }} ]]
 ==Protokół rozbieżności==