Propositional Logic, Description Logic, Epistemic Logic

##Experienced In Discrete Mathematics## Hi Dear Sir/Madam, I have completed B.Sc.(Engg.) and M.Sc.(Engg.) in Computer Science & Engineering. I also have a very strong background in Mathematics. I am an expert in Discrete Mathematics, Algorithms, Data Structure, C/C++ Programming Language, and Problem Solving. I have vast knowledge in these subjects and years of working experience in these subjects. I have a good command on: 1. Logic and Proofs 2. Number theory 3. Sets, Function, Sequences, and Sums 4. Algorithms and analysis of Algorithm (Growth of function and Complexity) 5. Counting (Combinations and Permutation) 6. Induction and Recursion 7. Probability 8. Relation 9. Graph theory and Tree 10. Boolean Algebra 11. Algebraic Structures and Coding Theory 12. Linear Algebra 13. Calculus 14. Differential Equation 15. Numerical and Complex Analysis 16. Implementation of Algorithm Using C/C++/JAVA Working Quality, punctuality, and responsiveness would be ensured highly. So, it wouldn't be a waste of time to invest in me. I am fully confident to fulfill your requirements. Let's get started! Thank you & Good Luck, Iffath Tanjim.

Hello, I am a graduate in Mathematical Sciences and a student of the Magister Scientiarum Mention in Mathematics program, I would like to obtain more information about this project, contact me in the chat to finalize the details and let's start working. We're at your service.

Hello, Since the age of thirteen, I've had a huge passion for software development. Building a Software usually make me to be excited. Let me see what your project is.

Hello! I have taught Logic to the students of Computer Engineering and Computer Applications, and also to the undergraduate students. I have done several assignments which included problems on Logic. Logic and Set theory(Robert Stoll) is my favorite topic. I am very much interested in working on this project. Your post was expected to be more elaborate, and possibly, with some document attached to it. I am looking forward to a hearing from you. Thank you!

Hello there I have seen and read your project "Propositional Logic, Description Logic, Epistemic Logic" and I am very much interested to help. The skill guiding ,me to handle this work are : Mathematics, Engineering and Software Architecture Hire me direct incase project is deleted by by c;licking this link https://www.freelancer.com/u/errandssolution Regards Charity

phD in Biology, Researcher from the University of Buenos Aires expert in Mathematical Modelling of Biological Systems. Lately looking into the deep connections of logic, cathegory theory and type theory and the new emerging field of hotopy type theory, which allow a fully typed based mathematics. If you need someone with a broad perspective, I might be able to help you.

Hi, I am a control engineering & Math expert and a talented C & C++ coder. If you give me this project, you will get a good result. Thanks. Relevant skills & experiences: Engineering, Mathematics, Matlab and Mathematica, C & C++ Programming