Головна сторінка - Historia wersji

AnastasiiaSadlovska: /* Питання */

2024-03-06T21:58:21Z

‎Питання

AnastasiiaSadlovska: Tłumaczenie Pytań

2024-03-06T21:56:29Z

Tłumaczenie Pytań

AnastasiiaSadlovska: Tłumaczenie 'Wizja przyszłości'

2024-03-04T23:55:49Z

Tłumaczenie 'Wizja przyszłości'

AnastasiiaSadlovska: /* Мапа */

2024-03-04T23:11:29Z

‎Мапа

AnastasiiaSadlovska o 22:51, 4 mar 2024

2024-03-04T22:51:34Z

AnastasiiaSadlovska: Tłumaczenie LEM i SpecVer

2024-03-04T22:51:19Z

Tłumaczenie LEM i SpecVer

AnastasiiaSadlovska o 00:20, 4 mar 2024

2024-03-04T00:20:42Z

AnastasiiaSadlovska: tłumaczenie o logicę informatycznej i Loglan`82

2024-03-04T00:11:08Z

tłumaczenie o logicę informatycznej i Loglan`82

AnastasiiaSadlovska: Pierwsze elementy strony

2024-03-03T17:52:41Z

Pierwsze elementy strony

Nowa strona

[[Plik:22px-English_language.svg.png]]
[[Main page]]     [[Plik:Flag of Poland.svg.png]][[ Strona główna]] 

Лотар [[Коллатц]] (у 1937 році) мав рацію !
-------

== Мапа ==
На цих сторінках ми представляємо чотири дослідницькі проекти: Algorithmic Logic(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).
Перші два проекти дали багато результатів і будуть використовуватися ще багато років.

@@ Linia 52: / Linia 52: @@
 == Питання ==
 Про функціональне програмування і тому подібне.
-# Не розумію: мене переконують перейти на функціональне програмування. Що я від цього отримаю? Кажуть, у функціональному програмуванні відсутні побічні ефекти та операції присвоєння. І що з того? Чи існують інструменти для вираження властивостей, таких як: <br />  a) Обчислення буде закінчене, <br /> b) Набір визначень не містить протиріч, <br /> c) Результати будуть правильними,  itp.
+# Не розумію: мене переконують перейти на функціональне програмування. Що я від цього отримаю? Кажуть, у функціональному програмуванні відсутні побічні ефекти та операції присвоєння. І що з того? Чи існують інструменти для вираження властивостей, таких як: <br />  a) Обчислення буде закінчене, <br /> b) Набір визначень не містить протиріч, <br /> c) Результати будуть правильними,  i т.д.
 # У 1943 році Стівен Коул Кліні довів, що будь-яку рекурсивну функцію в розумінні Гьоделя-Гербранда можна виразити оператором мінімуму ефективного <math>\mu</math>. Чи це не означає, що в області натуральних (цілих) чисел функціональне програмування та програмування за допомогою операцій while i ін. визначають один і той самий набір обчислюваних функцій?
 # Чи можна у функціональному програмуванні описати синтаксис такого класу програм, що обчислення будуть закінчені? Для ітераційного програмування (тобто структурного) такий критерій існує.

@@ Linia 3: / Linia 3: @@
-Лотар  [[Коллатц]] (<small> у 1937 році</small>) мав рацію !
+ Лотар  [[Коллатц]] (<small> у 1937 році</small>) мав рацію !
 -------
@@ Linia 49: / Linia 49: @@
 # Придумати спосіб збирання та поширення знань. Чи це має бути щось на кшталт математично-алгоритмічної пошукової системи Google?
 |}

@@ Linia 29: / Linia 29: @@
 |-
-|♥ LEM - це назва нового дослідницького проєкту.
+|♥ ''LEM'' - це назва нового дослідницького проєкту.
 Метою цього проєкту є вивчення можливості створення мови програмування з певними визначеними характеристиками (див. [[специфікація LEM]]).
 Мова LEM має ґрунтуватися на досягненнях проекту Loglan'82 та використовувати найкращі аспекти об'єктно-орієнтованих мов програмування новіших поколінь: Java, C++, C#, Python і т.д.<br />
 → '''[[LЕM]]'''
-|♥ Проєкт SpecVer має на меті підтвердити корисність застосування законів алгоритмічної логіки в інженерії програмного забезпечення. Мова LEM може виявитися корисною в роботі проєкту SpеcVer.<br />
+|♥ Проєкт ''SpecVer'' має на меті підтвердити корисність застосування законів алгоритмічної логіки в інженерії програмного забезпечення. Мова LEM може виявитися корисною в роботі проєкту SpеcVer.<br />
 → '''[[SpеcVer]]'''
 |}

@@ Linia 7: / Linia 7: @@
 -------
-== Мапа ==
+== Карта ==
 На цих сторінках ми представляємо чотири дослідницькі проєкти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).
 Перші два проєкти дали багато результатів і будуть використовуватися ще багато років.<br />

← poprzednia wersja		Wersja z 22:51, 4 mar 2024
Linia 1:		Linia 1:
−	~~<p style="text-align: left;">[[Plik:22px-English_language.svg.png]]~~
−	~~[[Main page]]     [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p>~~
−
−
−	~~Лотар [[Коллатц]] (<small> у 1937 році</small>) мав рацію !~~
−
−	~~-------~~
−
	<p style="text-align: left;">[[Plik:22px-English_language.svg.png]]		<p style="text-align: left;">[[Plik:22px-English_language.svg.png]]
	[[Main page]]     [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p>		[[Main page]]     [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p>

@@ Linia 1: / Linia 1: @@
 <p style="text-align: left;">[[Plik:22px-English_language.svg.png]]
 [[Main page]] &nbsp;&nbsp;&nbsp;  [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p>
@@ Linia 8: / Linia 16: @@
 == Мапа ==
-На цих сторінках ми представляємо чотири дослідницькі проекти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).
+На цих сторінках ми представляємо чотири дослідницькі проєкти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).
-Перші два проекти дали багато результатів і будуть використовуватися ще багато років.<br />
+Перші два проєкти дали багато результатів і будуть використовуватися ще багато років.<br />
 {|  class="wikitable"
 |-
-|♥ Дослідницький проект '''"Алгоритмічна логіка"''' займається відкриттям законів [[рахунок програм |рахунку програм]] і знаходить застосування у верифікації програм, тобто у доведенні істинності таких властивостей програм, як [[коректність]], відсутність циклів тощо. Мова алгоритмічної логіки дозволяє не лише виражати властивості алгоритмів (програм), а й забезпечує аксіоматизацію багатьох структур даних. Це стосується як відомих і необхідних в алгоритміці структур даних (наприклад, стеки, бінарні дерева пошуку, купи і т. д.), так і багатьох структур, що вивчаються в математиці. Можна вважати, що математика займається дослідженням, чи є дана формула <math> \alpha </math> істинною у даній структурі <math> \mathbb{A} </math>. Однак більшість структур не можна описати за допомогою аксіом, записаних у логіці першого порядку! Прийняття мови алгоритмічної логіки (або коротше, алгоритмічної мови) дозволяє представити ...<br />
+|♥ Дослідницький проєкт '''"Алгоритмічна логіка"''' займається відкриттям законів [[рахунок програм |рахунку програм]] і знаходить застосування у верифікації програм, тобто у доведенні істинності таких властивостей програм, як [[коректність]], відсутність циклів тощо. Мова алгоритмічної логіки дозволяє не лише виражати властивості алгоритмів (програм), а й забезпечує аксіоматизацію багатьох структур даних. Це стосується як відомих і необхідних в алгоритміці структур даних (наприклад, стеки, бінарні дерева пошуку, купи і т. д.), так і багатьох структур, що вивчаються в математиці. Можна вважати, що математика займається дослідженням, чи є дана формула <math> \alpha </math> істинною у даній структурі <math> \mathbb{A} </math>. Однак більшість структур не можна описати за допомогою аксіом, записаних у логіці першого порядку! Прийняття мови алгоритмічної логіки (або коротше, алгоритмічної мови) дозволяє представити ...<br />
 → '''[[Алгоритмічна логіка]]''' <br />
 → '''[[Media:UlotkaLogikaAlgorytmiczna.pdf| Листівка з алгоритмічної логіки]]'''
@@ Linia 27: / Linia 35: @@
 → '''[[Lоglan'82]]'''<br />
 → '''[[Media:UlotkaLoglan.pdf|Листівка Loglan'82]]'''<br />