Long pages

Showing below up to 49 results in range #51 to #99.

View (previous 50 | next 50) (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]
71. (hist) ‎Contagem: Exemplo 1 - Solução ‎[403 bytes]
72. (hist) ‎Solução: EXEMPLO (E1, pág 314) ‎[403 bytes]
73. (hist) ‎Exemplo 4.6.5 - Solução ‎[398 bytes]
74. (hist) ‎Exemplo 4.1.3 - Solução ‎[398 bytes]
75. (hist) ‎Solução: EXEMPLO (E5, página 345) ‎[398 bytes]
76. (hist) ‎Exemplo 4.6.4 - Solução ‎[384 bytes]
77. (hist) ‎Solução: EXEMPLO (E4, página 345) ‎[384 bytes]
78. (hist) ‎Modelos (lógica) ‎[377 bytes]
79. (hist) ‎Exemplo 4.3.5 - Solução ‎[352 bytes]
80. (hist) ‎Fórmulas de primeira ordem ‎[345 bytes]
81. (hist) ‎Lógica de primeira ordem ‎[290 bytes]
82. (hist) ‎Correção e completude para a Lógica de Primeira Ordem Clássica ‎[288 bytes]
83. (hist) ‎Exemplo 4.6.3 - Solução ‎[284 bytes]
84. (hist) ‎Solução: EXEMPLO (E3, página 345) ‎[284 bytes]
85. (hist) ‎Termos de primeira ordem ‎[276 bytes]
86. (hist) ‎Exemplo 4.3.4 - Solução ‎[233 bytes]
87. (hist) ‎Exemplo 4.6.2 - Solução ‎[218 bytes]
88. (hist) ‎Solução: EXEMPLO (E2, página 345) ‎[218 bytes]
89. (hist) ‎Exemplo 4.5.2 - Solução ‎[211 bytes]
90. (hist) ‎Sintaxe (lógica) ‎[209 bytes]
91. (hist) ‎Exemplo 4.4.1 - Solução ‎[180 bytes]
92. (hist) ‎Fundamentos Matemáticos da Computação 3 ‎[177 bytes]
93. (hist) ‎Solução: EXEMPLO (E1, página 345) ‎[154 bytes]
94. (hist) ‎Exemplo 4.3.2 - Solução ‎[144 bytes]
95. (hist) ‎Fundamentos Matemáticos da Computação 1 ‎[132 bytes]
96. (hist) ‎Adicionando uma Atividade ‎[127 bytes]
97. (hist) ‎Exemplo 4.6.1 - Solução ‎[126 bytes]
98. (hist) ‎Fundamentos Matemáticos da Computação 2 ‎[91 bytes]
99. (hist) ‎Exemplo 4.5.1 - Solução ‎[16 bytes]

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