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

Computing Topics - CO163

Aims

The aim of this course is to introduce new students to some state of the art ideas in Computing. It provides an opportunity for self directed learning in small groups.

Each topic will be introduced by a short lecture. Students are then encouraged to use their own initiative in finding reference material to expand their knowledge in one of the areas introduced by the lectures. Each group's findings are presented in a web article.

Role

Lecturer

MSc Computing Science (Specialist) Individual Project - CO542

Role

Organiser

MSc Computing Science Individual Project - CO541

Role

Organiser