Логіка Гоара: історія змін

8 лютого 2023

• поточн.попер. 14:5614:56, 8 лютого 2023‎ АтаБот обговорення внесок‎ м 24 345 байтів 0‎ виправлення за допомогою AWB скасувати [автоматично перевірена]

3 квітня 2022

• поточн.попер. 20:2720:27, 3 квітня 2022‎ Lxlalexlxl обговорення внесок‎ 24 345 байтів +67‎ →‎Вступ скасувати [автоматично перевірена]

15 березня 2022

• поточн.попер. 05:4205:42, 15 березня 2022‎ InternetArchiveBot обговорення внесок‎ 24 278 байтів +409‎ Виправлено джерел: 3; позначено як недійсні: 0.) #IABot (v2.0.8.6 скасувати [автоматично перевірена]

3 лютого 2022

• поточн.попер. 12:1712:17, 3 лютого 2022‎ Правдольуб обговорення внесок‎ 23 869 байтів +10‎ →‎Основні ідеї Гоара скасувати [перевірена користувачем Olexa Riznyk]
• поточн.попер. 12:1512:15, 3 лютого 2022‎ Правдольуб обговорення внесок‎ 23 859 байтів +1‎ →‎Вступ скасувати

11 грудня 2021

• поточн.попер. 22:5222:52, 11 грудня 2021‎ Andriy.vBot обговорення внесок‎ м 23 858 байтів −2‎ виправлення дат скасувати [автоматично перевірена]

21 лютого 2021

• поточн.попер. 17:1117:11, 21 лютого 2021‎ Semen Chudakov обговорення внесок‎ м 23 860 байтів 0‎ Виправлення обдруківка. скасувати Мітки: перше редагування Візуальний редактор [перевірена користувачем Olexa Riznyk]

19 квітня 2019

• поточн.попер. 12:0812:08, 19 квітня 2019‎ InternetArchiveBot обговорення внесок‎ 23 860 байтів +244‎ Виправлено джерел: 3; позначено як недійсні: 0. #IABot (v2.0beta14) скасувати [автоматично перевірена]

20 березня 2019

• поточн.попер. 12:2212:22, 20 березня 2019‎ Vlasenko D обговорення внесок‎ 23 616 байтів −36‎ вікіфікація скасувати [автоматично перевірена]

1 травня 2018

• поточн.попер. 23:3423:34, 1 травня 2018‎ Olexa Riznyk обговорення внесок‎ 23 652 байти +86‎ →‎Правило While для тотальної коректності: вікіфікація скасувати [автоматично перевірена]

26 квітня 2018

• поточн.попер. 22:5122:51, 26 квітня 2018‎ BunykBot обговорення внесок‎ м 23 566 байтів −1‎ Вікіфікація скасувати [автоматично перевірена]

10 березня 2018

• поточн.попер. 17:4717:47, 10 березня 2018‎ Olexa Riznyk обговорення внесок‎ 23 567 байтів +37‎ зв'язність скасувати [автоматично перевірена]

10 серпня 2017

• поточн.попер. 20:1620:16, 10 серпня 2017‎ 188.163.78.14 обговорення‎ 23 530 байтів +11‎ →‎Основні ідеї Гоара скасувати Мітка: Візуальний редактор [перевірена користувачем Olexa Riznyk]

31 липня 2017

• поточн.попер. 09:0109:01, 31 липня 2017‎ Bunyk обговорення внесок‎ м 23 519 байтів −65‎ вилучена Категорія:Програмні конструкції за допомогою HotCat скасувати [автоматично перевірена]
• поточн.попер. 08:4708:47, 31 липня 2017‎ Basio обговорення внесок‎ м 23 584 байти +19‎ вилучена Категорія:Інформатика; додана Категорія:Програмні конструкції за допомогою HotCat скасувати [автоматично перевірена]

24 травня 2017

• поточн.попер. 13:5913:59, 24 травня 2017‎ Uawikibot1 обговорення внесок‎ м 23 565 байтів +16‎ Застарілий HTML-тег або атрибут. Заміна HTML конструкцій на вікікод. WikiProject Check Wikipedia ID #40,26,38 скасувати [автоматично перевірена]

6 грудня 2016

• поточн.попер. 14:3214:32, 6 грудня 2016‎ Bunyk обговорення внесок‎ 23 549 байтів −29‎ Скасування редагування № 19293457 користувача КС-12 Маскальчук (обговорення) скасувати [автоматично перевірена]
• поточн.попер. 14:1914:19, 6 грудня 2016‎ КС-12 Маскальчук обговорення внесок‎ 23 578 байтів +29‎ Правопис скасувати Мітка: Візуальний редактор

9 жовтня 2016

• поточн.попер. 17:4417:44, 9 жовтня 2016‎ MobyVan обговорення внесок‎ м 23 549 байтів −22‎ replaced: в якості → як (2) за допомогою AWB скасувати [автоматично перевірена]

29 грудня 2015

• поточн.попер. 09:0409:04, 29 грудня 2015‎ Олюсь обговорення внесок‎ м 23 571 байт −1819‎ Немає опису редагування скасувати [перевірена користувачем Олюсь]

5 грудня 2015

• поточн.попер. 05:3605:36, 5 грудня 2015‎ Igor Yalovecky обговорення внесок‎ 25 390 байтів −17‎ →‎Основні ідеї Гоара скасувати

10 жовтня 2015

• поточн.попер. 20:2320:23, 10 жовтня 2015‎ Vlasenko D обговорення внесок‎ 25 407 байтів −15‎ оформлення, правопис скасувати

28 листопада 2014

• поточн.попер. 09:1109:11, 28 листопада 2014‎ Янчук Сергій обговорення внесок‎ 25 422 байти −125‎ Немає опису редагування скасувати Мітка: Візуальний редактор
• поточн.попер. 09:0909:09, 28 листопада 2014‎ Янчук Сергій обговорення внесок‎ 25 547 байтів +4842‎ Немає опису редагування скасувати Мітки: перше редагування Візуальний редактор

26 листопада 2014

• поточн.попер. 16:4316:43, 26 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 20 705 байтів 0‎ →‎Тоні Гоар скасувати Мітка: Візуальний редактор

25 листопада 2014

• поточн.попер. 21:3821:38, 25 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 20 705 байтів +2299‎ Немає опису редагування скасувати
• поточн.попер. 21:3621:36, 25 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 18 406 байтів +4127‎ Немає опису редагування скасувати
• поточн.попер. 21:2621:26, 25 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 14 279 байтів +79‎ Немає опису редагування скасувати Мітка: Візуальний редактор
• поточн.попер. 21:2321:23, 25 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 14 200 байтів +1736‎ Немає опису редагування скасувати Мітка: Перемкнуто з візуального редактора

20 листопада 2014

• поточн.попер. 20:2220:22, 20 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 12 464 байти +25‎ →‎Трійки Гоара скасувати Мітка: Візуальний редактор
• поточн.попер. 20:1920:19, 20 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 12 439 байтів +50‎ →‎Трійки Хоара скасувати Мітка: Візуальний редактор
• поточн.попер. 20:1320:13, 20 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 12 389 байтів +604‎ →‎Правила скасувати Мітка: Візуальний редактор
• поточн.попер. 18:1018:10, 20 листопада 2014‎ Vorobey Vasyl обговорення внесок‎ 11 785 байтів +920‎ →‎Правила скасувати Мітка: Візуальний редактор

1 вересня 2014

• поточн.попер. 17:5017:50, 1 вересня 2014‎ Hjvfy обговорення внесок‎ 10 865 байтів 0‎ →‎Література скасувати
• поточн.попер. 17:4917:49, 1 вересня 2014‎ Hjvfy обговорення внесок‎ 10 865 байтів 0‎ →‎Посилання скасувати
• поточн.попер. 17:4317:43, 1 вересня 2014‎ Hjvfy обговорення внесок‎ 10 865 байтів −9‎ Немає опису редагування скасувати

25 березня 2013

• поточн.попер. 04:5704:57, 25 березня 2013‎ RLutsBot обговорення внесок‎ м 10 874 байти −298‎ Перенесено 13 інтервікі-посилань до Вікіданих (Q1375924) скасувати

9 липня 2012

• поточн.попер. 13:4113:41, 9 липня 2012‎ РобоСтася обговорення внесок‎ 11 172 байти −38‎ →‎Посилання: Більше не розпізнається як ізольована стаття, removed: {{Ізольована стаття}} за допомогою AWB скасувати

1 липня 2012

• поточн.попер. 11:1711:17, 1 липня 2012‎ РобоСтася обговорення внесок‎ 11 210 байтів +38‎ →‎Посилання: + {{Ізольована стаття}} за допомогою AWB скасувати

23 червня 2012

• поточн.попер. 23:3323:33, 23 червня 2012‎ Xqbot обговорення внесок‎ м 11 172 байти +17‎ r2.7.3) (робот додав: pt:Lógica de Hoare; косметичні зміни скасувати

15 жовтня 2011

• поточн.попер. 12:5112:51, 15 жовтня 2011‎ Albedo обговорення внесок‎ м 11 155 байтів 0‎ перейменував «Логіка Хоара» на «Логіка Гоара»: немає Ch у прізвищі скасувати

29 липня 2011

• поточн.попер. 22:5322:53, 29 липня 2011‎ Ragnarok обговорення внесок‎ 11 155 байтів +67‎ Немає опису редагування скасувати

25 травня 2011

• поточн.попер. 13:3813:38, 25 травня 2011‎ РобоСтася обговорення внесок‎ 11 088 байтів −39‎ →‎Посилання: Більше не розпізнається як ізольована стаття, removed: {{Ізольована стаття}} за допомогою AWB скасувати

30 березня 2011

• поточн.попер. 14:2214:22, 30 березня 2011‎ РобоСтася обговорення внесок‎ 11 127 байтів +28‎ Стаття, які слід категоризувати за допомогою AWB скасувати

15 березня 2011

• поточн.попер. 14:5314:53, 15 березня 2011‎ РобоСтася обговорення внесок‎ 11 099 байтів +38‎ →‎Посилання: + {{Ізольована стаття}} за допомогою AWB скасувати

13 березня 2011

• поточн.попер. 10:2010:20, 13 березня 2011‎ Bunyk обговорення внесок‎ м 11 061 байт −5‎ →‎Приклади скасувати
• поточн.попер. 06:5606:56, 13 березня 2011‎ Bunyk обговорення внесок‎ м 11 066 байтів −42‎ →‎Правило While для тотальної коректності скасувати
• поточн.попер. 06:4806:48, 13 березня 2011‎ Bunyk обговорення внесок‎ 11 108 байтів +732‎ →‎Аксіома про порожній оператор скасувати
• поточн.попер. 06:0706:07, 13 березня 2011‎ Bunyk обговорення внесок‎ 10 376 байтів +10 376‎ Створена сторінка: '''Логіка Хоара''' (також відома як '''Флойда-Хоара''') - це формальна система з множиною лог...