Long pages

Showing below up to 20 results in range #51 to #70.

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)

51. (hist) ‎Atividade Offline ‎[701 bytes]
52. (hist) ‎Dedução Natural para a Lógica de Primeira Ordem Clássica ‎[662 bytes]
53. (hist) ‎Exemplo 4.2.5 - Solução ‎[643 bytes]
54. (hist) ‎Exemplo 4.5.4 - Solução ‎[583 bytes]
55. (hist) ‎Exemplo 4.1.1 - Solução ‎[561 bytes]
56. (hist) ‎Graphs with Mermaid ‎[558 bytes]
57. (hist) ‎Poder expressivo dos operadores clássicos ‎[557 bytes]
58. (hist) ‎Exemplo 4.4.2 - Solução ‎[544 bytes]
59. (hist) ‎Chat ‎[544 bytes]
60. (hist) ‎Assinatura de primeira ordem ‎[542 bytes]
61. (hist) ‎Exemplo 4.4.3 - Solução ‎[540 bytes]
62. (hist) ‎Correção e completude para a Lógica Proposicional Clássica ‎[503 bytes]
63. (hist) ‎Introdução Computacional à Lógica Matemática ‎[496 bytes]
64. (hist) ‎Exemplo 4.2.2 - Solução ‎[463 bytes]
65. (hist) ‎Contagem: Exemplo 2 - Solução ‎[449 bytes]
66. (hist) ‎Lógica proposicional ‎[447 bytes]
67. (hist) ‎Exemplo 4.1.4 - Solução ‎[440 bytes]
68. (hist) ‎Exemplo 4.2.4 - Solução ‎[437 bytes]
69. (hist) ‎Exemplo 4.2.1 - Solução ‎[432 bytes]
70. (hist) ‎Moodle - Documentação ‎[430 bytes]

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)