Jen Davoren

 

 


 

Jen has a PhD in Mathematics (1998) and an MSc in Computer Science (1994) from Cornell University, and a BA(Hons) in Mathematics and Philosophy from the University of Melbourne (1991). Jen held research positions at Cornell University, UC Berkeley, and the Australian National University before moving to the University of Melbourne in 2002, to the Department of Electrical and Electronic Engineering.

More info: http://people.eng.unimelb.edu.au/davoren/




Customize your search:

E.g., 2016-12-06
E.g., 2016-12-06
E.g., 2016-12-06
Apr 14th 2015

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

Average: 9 (2 votes)
Feb 24th 2015

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

Average: 6.5 (4 votes)