Theoretical application;
Logic in Computer Science, the introduction of propositional logic and truth tables, during / for the purpose of 'Object Oriented Analysis' - towards semantics and their re – interpretations through developmental structures.
Syntax, analogy, paradigms and the written word.
Key Themes:
- Declarative sentences
- Natural Deduction
- Propositional Logic as a formal language
- Multithreading in Java & C++
- Test Bed Environments
- Open Platforms and Object Oriented Programming
- Multi-core chips and their runtime factors
- Thread Pools, concurrency and efficiency
- Memory management
- Coding Techniques
- Test Scripts