FCT Drive

Login

Activity History

Showing 50 of 20140 entries
Page 182
TimestampActionUserPathSize
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Edgar's World.wld91 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Austin's Sentences.sen124 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Peano's World.wld150 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Reichenbach's World 2.wld109 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Ockham's Sentences.sen401 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Lestrade's Sentences.sen166 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/CNF Sentences.sen425 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Montague's World.wld82 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Boole's Sentences.sen1 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Lowenheim's Sentences.sen442 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Venn's World.wld105 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Carnap's Sentences.sen509 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Lestrade's World.wld99 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Malcev's World.wld105 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Kleene's Sentences.sen426 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/TW Exercise Files/Ockham's World.wld78 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Tarski's World Folder/Tarski.jar4.73 MB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch.stdout.log10 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch.stderr.log207 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 8.53.prf2.6 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 6.10.prf2.23 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.37.prf3.25 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Conjunction 4.prf2.94 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 2.24.prf2.53 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 8.21.prf1.91 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Conjunction 3.prf2.99 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 6.19.prf2.2 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 15.15.prf735 Bytes
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 2.18.prf2.52 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 6.22.prf2.22 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.14.prf2.23 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 17.4B.prf5.32 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 6.34.prf1.92 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 19.11.prf2.2 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 7.26.prf2.19 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 8.38.1.prf1.9 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 6.41.prf1.91 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 14.11.prf1.95 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 6.9.prf2.22 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.53.prf1.93 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Negation 1.prf1.89 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.28.prf1.92 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.26.prf2.28 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 15.38.prf1.97 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Proof Deduction Thm 1.prf1.98 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 16.50.prf1.92 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 6.24.prf1.91 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 15.13.prf2.24 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Identity 1.prf2.22 KB
8/14/2025, 12:53:37 PMcreate_filesystem/02_ano02_(year02)/semestre01_(semester01)/lc/software/Fitch Folder/Fitch Exercise Files/Exercise 13.43.prf1.91 KB
Page 182