Logic 2010 is a system for computer and Internet-assisted classroom instruction in first order logic. The program contains modules for doing derivations, symbolizations, truth tables, invalidity by finite models, and parsing. Students may create their own User Problems, and in the derivation module, students can create and justify their own rules.
Detect and download updates for all of your installed software.
FileZilla (ported from Windows) is a fast and reliable FTP client and server with lots of useful features and an intuitive interface.
App that stores/retrieves notes, providing a nonconformist solution to mental blockages & retrieval handicaps.
We don't have a description for the AntiNetCut app yet.
Manage processes and tasks on a schedule.
MacUpdater keeps all apps up-to-date automatically, so you don't have to search, download, install and clean up updates manually.
Comments