Wyniki wyszukiwania

Utwórz stronę „$2” na tej wiki! Zobacz też wyniki wyszukiwania.</p>

• SpecVer:O projekcie
  S^2: \left \{ \begin{array}{l} P: \delta:=true; n1:=n; \\ S^2: \left \{ \begin{array}{l} \color{red}P: \color{black}\delta:=true; n1:=
  4 KB (631 słów) - 20:34, 13 mar 2013
• SpecVer
  ...e to razem ponad 250 linii programu w Loglanie. Zalecamy też przeczytanie 2 prac [[Media:AL+SpecVer.pdf |o technologii SpecVer ]] i [[Media: Experiment ...uj pismo|odn=tak|nazwisko=Mirkowska|imię=Grażyna|nazwisko2=Salwicki|imię2=Andrzej|nazwisko3=Świda|imię3=Oskar| tytuł=Algorithmic Logic + SpecVer =
  11 KB (1590 słów) - 13:16, 16 mar 2020
• SpecVer/Winograd
  :p := (n mod 2) = 0; :m := n div 2;
  15 KB (2410 słów) - 19:18, 27 lis 2015
• Wybrane przykłady
  |style="text-align:center" colspan=2 |''Współprogramy''
  694 B (84 słowa) - 11:52, 20 mar 2014
• Algorytm Winograda
  :p := (n mod 2) = 0; :m := n div 2;
  3 KB (403 słowa) - 16:50, 13 lut 2013
• Analiza algorytmu Euklidesa
  ...bardzo niedoskonałe, oszacowanie górne kosztu algorytmu <math>O(max(n,m)^2)</math>.
  9 KB (1457 słów) - 21:05, 23 sie 2015
• Niestandardowy model liczb naturalnych
  2° Model niestandardowy może być programowalny. (że nie zawsze tak jest d y := new NSN(15, 1,2);
  5 KB (641 słów) - 11:35, 7 mar 2013
• Loglan dla innych języków programowania
  ...| <center> Na pewien obiekt ''o'' wskazują zmienne ''x₁,x₂, ... , x_n''. </center> ...sp;&nbsp;&nbsp;&nbsp; delete(x_i) || ''x₁=null;x₂=null; ... x_n=null;''<br>Po wykonaniu instrukcji ''gc()''
  6 KB (830 słów) - 21:48, 31 mar 2013
• Algorithmic Logic
  [[Plik:AxiomPL.jpg|thumb|750px| Fig. 2 Axioms of propositional calculus ]] ...=tak| nazwisko = Mirkowska| imię = Grażyna | nazwisko2 = Salwicki | imię2 = Andrzej | tytuł = Algorithmic Logic | wydawca = PWN | miejsce = Warszawa
  14 KB (1929 słów) - 11:00, 3 lut 2018
• Logika Algorytmiczna
  [[Plik:AxiomPL.jpg|thumb|750px| Rys. 2 Aksjomaty rachunku zdań ]] Ad 2. W matematyce rozważa się wiele własności ważnych struktur algebraiczn
  24 KB (3502 słowa) - 07:58, 10 wrz 2019
• Dynamic logic
  :2. Vaughan Pratt, wynalazca logiki dynamicznej(1976), był zaskoczony gdy stu
  3 KB (440 słów) - 20:32, 8 sie 2017
• Bezpieczna dealokacja obiektów
  ...re introduced with two aims: 1 to decrease the cost of reference counting, 2 to diminish the risk that some objects will be kept because the programmer ...ent was verified. Three years after first version of Java (1995), in JDK 1.2 weak references have been introduced. Developer can declare variable as wea
  33 KB (5392 słowa) - 21:39, 22 paź 2015
• Axiomatic definition of Loglan'82
  == <math>\mathcal{L}_{2}</math> Conditional instructions ==
  10 KB (1489 słów) - 23:29, 25 paź 2015
• Winograda mnożenie macierzy
  $p := (n\ mod\ 2) = 0;$ $m := n\ div\ 2;$ s:=0; $ s := A[j,2*i-1] * A[j,2*i] +s;$ ; W[j] := s; ;
  18 KB (3088 słów) - 22:15, 5 lis 2015
• Dziedzictwo Loglanu
  :::L₀⊂ L₁⊂ L₂⊂ L₃⊂ L₄⊂ L₅⊂ L<sub>6 </s
  1 KB (196 słów) - 14:13, 11 lut 2016
• Logic of Hoare
  :2. Język logiki Hoare'a nie ma środków do wyrażania pozostałych ważnych
  4 KB (705 słów) - 20:30, 8 sie 2017
• Wyrażalność semantycznych własności programów
  :2) jeśli jakiś inny warunek <math>\color{blue}\delta</math> jest warunkiem <big>Ad 2</big>) Własność niekończącego się obliczenia programu <math>\color{bl
  4 KB (671 słów) - 09:49, 9 paź 2018
• Collatz
  ...thbf{if}\ nieparzyste(n) \ \mathbf{then}\ n:=3n+1 \ \mathbf{else}\ n:=n/2\ \mathbf{fi} \\ ...ni dzielenia. Wystarczy mnożenie przez 3 ( bo 3x=x+x+x) i dzielenia przez 2 ( prosty algorytm dodający co drugą jedynkę wystarczy),
  9 KB (1366 słów) - 10:39, 1 mar 2024
• Collatz theorem
  ...he statute of 'Collatz conjecture" is now [http://lem12.uksw.edu.pl/images/2/21/HotelCollatza.pdf '''Collatz theorem'''].<br /> \quad \mathbf{if}\ odd(n) \ \mathbf{then}\ n:=3n+1 \ \mathbf{else}\ n:=n/2\ \mathbf{fi} \\
  8 KB (1241 słów) - 14:39, 28 wrz 2022