Lógica de Hoare: historial de revisões

6 de agosto de 2022

• atuant 19h00min19h00min de 6 de agosto de 2022‎ Dorito voador20 discussão contribs‎ 9 063 bytes −69‎ desfazer Etiquetas: Editor Visual Edição via dispositivo móvel Edição feita através do sítio móvel Tarefa para recém-chegados Tarefa para recém-chegados: revisão

17 de dezembro de 2021

• atuant 22h31min22h31min de 17 de dezembro de 2021‎ LeviTheEntity discussão contribs‎ 9 132 bytes +20‎ Link editing desfazer Etiquetas: Editor Visual Edição via dispositivo móvel Edição feita através do sítio móvel Tarefa para recém-chegados

28 de agosto de 2020

• atuant 20h43min20h43min de 28 de agosto de 2020‎ Juan90264 discussão contribs‎ m 9 112 bytes −8‎ v2.03b - Corrigido usando WP:PCW (en dash ou em dash) desfazer Etiqueta: WPCleaner

3 de maio de 2019

• atuant 00h52min00h52min de 3 de maio de 2019‎ InternetArchiveBot discussão contribs‎ 9 120 bytes +43‎ Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta14) desfazer

15 de março de 2019

• atuant 19h08min19h08min de 15 de março de 2019‎ 95.92.81.111 discussão‎ 9 077 bytes 0‎ →‎Axioma da Atribuição desfazer Etiqueta: Editor Visual

14 de novembro de 2018

• atuant 17h42min17h42min de 14 de novembro de 2018‎ InternetArchiveBot discussão contribs‎ 9 077 bytes +43‎ Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta10) desfazer

22 de agosto de 2018

• atuant 23h48min23h48min de 22 de agosto de 2018‎ RodrigoTavares discussão contribs‎ m 9 034 bytes +47‎ desfazer

24 de maio de 2015

• atuant 02h36min02h36min de 24 de maio de 2015‎ 191.188.107.17 discussão‎ 8 987 bytes +1‎ correção da palavra "aprimorada". antes estava escrita aprimrada desfazer Etiqueta: Editor Visual

30 de março de 2013

• atuant 07h18min07h18min de 30 de março de 2013‎ KLBot2 discussão contribs‎ m 8 986 bytes −305‎ Bot: A migrar 13 interwikis, agora providenciados por Wikidata em d:Q1375924 desfazer

11 de fevereiro de 2013

• atuant 21h11min21h11min de 11 de fevereiro de 2013‎ Mschlindwein discussão contribs‎ m 9 291 bytes 0‎ "extender" não existe em Português. desfazer

14 de janeiro de 2013

• atuant 18h48min18h48min de 14 de janeiro de 2013‎ 109.50.42.52 discussão‎ 9 291 bytes −1‎ →‎regra do Laço para Corretude Total desfazer

5 de setembro de 2012

• atuant 14h24min14h24min de 5 de setembro de 2012‎ Kaktus Kid discussão contribs‎ 9 292 bytes −25‎ desfazer
• atuant 14h22min14h22min de 5 de setembro de 2012‎ Kaktus Kid discussão contribs‎ 9 317 bytes +55‎ desfazer

18 de julho de 2012

• atuant 19h37min19h37min de 18 de julho de 2012‎ Rodrigolopes discussão contribs‎ m 9 262 bytes +40‎ adicionou Categoria:Ciência da computação usando HotCat desfazer

23 de junho de 2012

• atuant 22h21min22h21min de 23 de junho de 2012‎ Victor Pimenta discussão contribs‎ 9 222 bytes +306‎ desfazer
• atuant 22h18min22h18min de 23 de junho de 2012‎ Victor Pimenta discussão contribs‎ 8 916 bytes +6 746‎ desfazer Etiqueta: Espaçamento excessivo
• atuant 18h38min18h38min de 23 de junho de 2012‎ Victor Pimenta discussão contribs‎ 2 170 bytes +1 113‎ desfazer
• atuant 18h09min18h09min de 23 de junho de 2012‎ Victor Pimenta discussão contribs‎ 1 057 bytes +1 057‎ ← nova página: '''Lógica de Hoare'''(também conhecida como '''lógica de Floyd–Hoare''' ou '''regras de Hoare''') é um sistema formal com um conjunto de regras lógicas ...