Imperial College London

DrFaribaSadri

Faculty of EngineeringDepartment of Computing

Senior Lecturer
 
 
 
//

Contact

 

+44 (0)20 7594 8224f.sadri Website

 
 
//

Location

 

447Huxley BuildingSouth Kensington Campus

//

Summary

 

Logic - CO518

Aims

To introduce students to logic and formal reasoning through propositional and predicate logic.

To introduce students to the declarative programming language, Prolog.

Role

Course Leader

Introduction to Prolog (MSc) - CO576

Aims

This is a short, intensive 'taster' course intended to provide an introduction to:  the programming language Prolog and its basic features,  logic programming concepts, a typical Prolog environment (Sicstus Prolog), some common Prolog programming techniques The emphasis is on explaining that Prolog has both a declarative and a procedural reading, and on the importance of clear and concise programs.

Role

Course Leader

MSc Computing Science (Specialist) Individual Project - CO542

Role

Organiser

MSc Computing Science Individual Project - CO541

Role

Organiser