Contribuições do(a) usuário(a) Antonino feitosa

9 de dezembro de 2008

• 12h53min12h53min de 9 de dezembro de 2008 dif his +603‎ Par crítico ‎

8 de dezembro de 2008

• 12h38min12h38min de 8 de dezembro de 2008 dif his 0‎ Teorema de Church-Rosser ‎
• 12h36min12h36min de 8 de dezembro de 2008 dif his +3‎ Par crítico ‎
• 12h32min12h32min de 8 de dezembro de 2008 dif his +4‎ Forma normal ‎
• 12h29min12h29min de 8 de dezembro de 2008 dif his 0‎ Confluência (sistemas de reescrita de termos) ‎

7 de dezembro de 2008

• 15h41min15h41min de 7 de dezembro de 2008 dif his +4 164‎ Par crítico ‎

6 de dezembro de 2008

• 13h43min13h43min de 6 de dezembro de 2008 dif his +3 145‎ Forma normal ‎

4 de dezembro de 2008

• 19h12min19h12min de 4 de dezembro de 2008 dif his −1 051‎ Teorema de Church-Rosser ‎
• 18h46min18h46min de 4 de dezembro de 2008 dif his −51‎ Confluência (sistemas de reescrita de termos) ‎
• 18h45min18h45min de 4 de dezembro de 2008 dif his +1‎ Confluência (sistemas de reescrita de termos) ‎
• 18h43min18h43min de 4 de dezembro de 2008 dif his +43‎ Lema de Newman ‎
• 18h32min18h32min de 4 de dezembro de 2008 dif his +1 554‎ Confluência (sistemas de reescrita de termos) ‎

31 de outubro de 2008

• 18h12min18h12min de 31 de outubro de 2008 dif his −104‎ Forma normal ‎
• 18h11min18h11min de 31 de outubro de 2008 dif his +1‎ Teorema de Church-Rosser ‎
• 18h10min18h10min de 31 de outubro de 2008 dif his −31‎ Par crítico ‎
• 18h06min18h06min de 31 de outubro de 2008 dif his 0‎ Confluência (sistemas de reescrita de termos) ‎
• 17h49min17h49min de 31 de outubro de 2008 dif his +22‎ N Sistemas de Reescrita de Termos ‎ ← feito redirecionamento para Reescrita
• 17h45min17h45min de 31 de outubro de 2008 dif his +14‎ Forma normal ‎
• 17h42min17h42min de 31 de outubro de 2008 dif his +1‎ Teorema de Church-Rosser ‎
• 17h41min17h41min de 31 de outubro de 2008 dif his +45‎ Teorema de Church-Rosser ‎
• 17h38min17h38min de 31 de outubro de 2008 dif his +8‎ Teorema de Church-Rosser ‎
• 16h32min16h32min de 31 de outubro de 2008 dif his +31‎ Teorema de Church-Rosser ‎
• 16h28min16h28min de 31 de outubro de 2008 dif his +2 776‎ N Teorema de Church-Rosser ‎ ← nova página: Teorema de Church-Rosser é uma prova de confluência para o lambda cálculo e também uma prop...
• 16h07min16h07min de 31 de outubro de 2008 dif his −120‎ Par crítico ‎
• 15h58min15h58min de 31 de outubro de 2008 dif his −90‎ Lema de Newman ‎
• 15h53min15h53min de 31 de outubro de 2008 dif his +3‎ Confluência (sistemas de reescrita de termos) ‎
• 15h48min15h48min de 31 de outubro de 2008 dif his +195‎ Confluência (sistemas de reescrita de termos) ‎
• 15h42min15h42min de 31 de outubro de 2008 dif his +6 927‎ N Confluência (sistemas de reescrita de termos) ‎ ← nova página: '''Confluência''' é uma propriedade de sistemas de reescrita de termos, descrevendo que termos neste sistema podem ser reescrito...
• 13h52min13h52min de 31 de outubro de 2008 dif his +4 273‎ N Par crítico ‎ ← nova página: Um '''par crítico''' é um par de termos obtidos a partir de uma regras de reescrita que se sobrepõe a outra. == Exemplo de Mo...
• 13h44min13h44min de 31 de outubro de 2008 dif his −1‎ Sistema de redução abstrato ‎
• 13h43min13h43min de 31 de outubro de 2008 dif his +5‎ Forma normal ‎
• 11h38min11h38min de 31 de outubro de 2008 dif his +311‎ Forma normal ‎
• 10h59min10h59min de 31 de outubro de 2008 dif his +49‎ Sistema de redução abstrato ‎
• 10h56min10h56min de 31 de outubro de 2008 dif his +71‎ Sistema de redução abstrato ‎

29 de outubro de 2008

• 21h19min21h19min de 29 de outubro de 2008 dif his −1‎ Forma normal ‎
• 21h19min21h19min de 29 de outubro de 2008 dif his +22‎ Forma normal ‎
• 21h12min21h12min de 29 de outubro de 2008 dif his +2 685‎ N Forma normal ‎ ← nova página: Forma normal ou normalizante é uma propriedade sobre sistemas de redução abstratos (SRA) que garante que cada elemento possui u...
• 20h53min20h53min de 29 de outubro de 2008 dif his +4‎ Lema de Newman ‎
• 20h52min20h52min de 29 de outubro de 2008 dif his +5‎ Lema de Newman ‎
• 20h49min20h49min de 29 de outubro de 2008 dif his +372‎ Lema de Newman ‎
• 20h47min20h47min de 29 de outubro de 2008 dif his +1 705‎ N Lema de Newman ‎ ← nova página: O lema de Newman é propriedade sobre sistemas de redução abstratos utilizado para mostrar a confluência de tais sistemas. == Definição == O teorema de Newman...

28 de outubro de 2008

• 16h49min16h49min de 28 de outubro de 2008 dif his +10‎ Sistema de redução abstrato ‎
• 16h47min16h47min de 28 de outubro de 2008 dif his +58‎ Sistema de redução abstrato ‎
• 16h46min16h46min de 28 de outubro de 2008 dif his +68‎ Sistema de redução abstrato ‎
• 16h26min16h26min de 28 de outubro de 2008 dif his +53‎ Sistema de redução abstrato ‎
• 14h57min14h57min de 28 de outubro de 2008 dif his +667‎ Sistema de redução abstrato ‎
• 14h08min14h08min de 28 de outubro de 2008 dif his +185‎ Sistema de redução abstrato ‎
• 13h48min13h48min de 28 de outubro de 2008 dif his +202‎ Sistema de redução abstrato ‎
• 13h47min13h47min de 28 de outubro de 2008 dif his +1 428‎ N Sistema de redução abstrato ‎ ← nova página: == Sistema de Redução Abstrato == Um '''sistema de redução abstrato (SRA)''' é uma modelagem matemática que permite o estudo de propriedades sobre sistema de ...