TEACHING ASSIGNMENTS

(excluding reading and research courses)

AND DEPARTMENTAL EVALUATION BY STUDENTS

 (on a scale 0–4 with 4 the highest)

of

VALENTINA HARIZANOV

Comments by Students 

Spring 2008

Math 170 (UG)

Computational Complexity


Fall 2007

Math 272 (G)

Topics in Logic: Algorithms and Mathematics

3.83


Math 33 (UG)

Multivariable Calculus

3.11

 

 

 

Spring 2007

Math 801 (UG)

Dean’s Seminar for Freshmen: Chomsky's Languages, digital and quantum computing

N/A


Math 272 (G)

Topics in Logic: Algorithmic Methods

3.83
Fall 2006

Math 801 (UG)

Dean’s Seminar for Freshmen: Mathematics of the Infinite

3.26

Math 272 (G)

Topics in Logic: Set Theory

3.70
Spring 2006

Math 801 (UG)

Dean’s Seminar for Freshmen: Is Reason Computable?		 3.30

Fall 2005

Math 103W (UG)

Writing in the Disciplines: Computability Theory

3.90

 

Math 103 (UG)

Computability Theory

3.61

 

Math 272 (G)

Topics in Logic: Model Theory and Algorithmic Model Theory

3.88

 

 

 

Spring 2005

Columbian Research Fellowship

 

Fall 2004

Columbian Research Fellowship

 

 

 

 

Spring 2004

Math 801 (UG)

Dean’s Seminar for Freshmen: Mathematical logic, languages, and learning

3.25




Fall 2003

Math 272 (G)

Topics in Logic: Computability theory and applications to mathematical structures

4.00

 

Math 9 (UG)

Mathematical Ideas I

2.72

 

 

 

Spring 2003

Math 33 (UG)

Multivariable Calculus

3.49

 

Math 32 (UG)

Single Variable Calculus  II

3.17

 

 

 

Fall 2002

Math 272 (G)

Topics in Logic: Algorithmic Learning. Gödel Incompleteness

3.83

 

Math 21 (UG)

Calculus with Precalculus II

3.21

 

 

 

Spring 2002

Math 170 (UG)

Computational Complexity

3.47

 

Math 33 (UG)

Multivariable Calculus

3.48

 

 

 

Fall 2001

Math 103 (UG)

Computability Theory

3.66

 

Math 20 (UG)

Calculus with Precalculus I

2.89

 

 

 

Spring 2001

Math 272 (G)

<>Topics in Logic: Frequency Computations. Computable Algebra

3.79

 

Math 52 (UG)

Calculus for the Social and Management Sciences

2.45

 

 

 

Fall 2000

Sabbatical

 

 

 

 

Summer 2000

Math 20 (UG)

Calculus with Precalculus

4.00

 

 

 

 

Spring 2000

Math 274/170 (G/UG)

Computational Complexity

3.75/3.66

 

Math 52 (UG)

Calculus for the Social and Management Sciences

3.46

 

 

 

Fall 1999

Math 33 (UG)

Multivariable Calculus

3.12

 

Math 9 (UG)

Mathematical Ideas I

3.14

 

 

 

Summer 1999

Math 9 (UG)

Mathematical Ideas I

3.78

 

Math 3 (UG)

College Algebra

3.91

 

 

 

Spring 1999

Math 272 (G)

Topics in Logic:

Computable Model Theory

3.55

 

Math 52 (UG)

Calculus for the Social and Management Sciences

3.18

 

 

 

Fall 1998

Math 272 (G)

Topics in Logic:

The Forcing Method

4.00

 

Math 51 (UG)

Finite Mathematics for the Social and Management Sciences

2.69

 

 

 

Summer 1998

Math 3 (UG)

College Algebra

3.21

 

 

 

Spring 1998

Math 170 (UG)

Computational Complexity

3.74

 

Math 21 (UG)

Calculus with Precalculus II

3.21

 

 

 

Fall 1997

Math 272 (G)

Topics in Logic:

Models, Algorithms, and Applications

3.54

 

Math 3 (UG)

College Algebra

3.43

 

 

 

Summer 1997

Math 10 (UG)
General Mathematics II

N/A

 

Math 3 (UG)

College Algebra

N/A

 

 

 

Spring 1997

Math 32 (UG)

Single Variable Calculus II

3.56

 

Math 10 (UG)

General Mathematics II

3.03

 

 

 

Fall 1996

Math 101 (UG)

Introduction to Mathematical Logic

4.00

 

Math 32 (UG)

Single Variable Calculus II

3.19

 

Math 51 (UG)

Finite Mathematics for the Social and Management Sciences

2.77

 

 

 

Summer 1996

Math 3 (UG)

College Algebra

N/A

 

 

 

Spring 1996

Math 32 (UG)

Single Variable Calculus II

3.2

 

Math 51 (UG)

Finite Mathematics for the Social and Management Sciences

3.2

 

Math 272 (G)

Topics in Logic:

Recursion Theory: Hierarchies, Oracles and Degrees

4.0

 

 

 

Fall 1995

Maternity Leave

 

 

 

 

Spring 1995

Math 272 (G)

Topics in Logic:

Independence Results in Set Theory

 

3.95

 

Math 51 (UG)

Finite Mathematics for the Social and Management Sciences

3.16

 

 

 

Fall 1994

Math 272 (G)

Topics in Logic:

Effective Model Theory

3.65

 

Math 51 (UG)              

Finite Mathematics for the Social and Management Sciences

3.23


 

 

 

Summer 1994

Math 3 (UG)    

College Algebra

N/A

 

 

 

Spring 1994

Sabbatical

 

 

 

 

Fall 1993

Math 103 (UG)

Computability Theory

3.35

 

Math 52 (UG)

Calculus for the Social and Management Sciences

3.23

 

 

 

Spring 1993

Math 102 (UG)

Axiomatic Set Theory

3.75

 

Math 52 (UG)
Calculus for the Social and Management Sciences

N/A

 

Math 30 (UG)

Precalculus

2.90

 

 

 

Fall 1992

Math 101 (UG)

Introduction to Mathematical Logic

3.38

 

Math 30 (UG)

Precalculus

2.61

 

 

 

Spring 1992

Math 103 (UG)

Computability Theory

3.36

 

 

Honors 24 (UG)

Mathematical Theory of Languages II

3.20

 

 

 

Fall 1991

Math 271 (G)

Mathematical Logic

3.90

 

Math 30 (UG)

Precalculus

2.59

 

Honors 23 (UG)

Mathematical Theory of Languages I

3.17

 

 

 

Spring 1991

Stat 142 (UG)

Introduction to Automata Theory

3.57

 

Honors 24 (UG)

Mathematical Theory of Languages II

3.36

 

 

 

Fall 1990

Honors 23 (UG)

Mathematical Theory of Languages I

3.70

 

 

 

Spring 1990

Math 170 (UG)

Computational Complexity

 

3.92

 

Math 102 (UG)

Axiomatic Set Theory

3.73

 

 

 

Fall 1989

Math 272 (G)
Topics in Logic:
NP-Completeness. Multi-Valued Logics

4.00

 

Math 101 (UG)

Introduction to Mathematical Logic

3.61

 

Math 9 (UG)

General Mathematics I

2.88

 

 

 

Spring 1989

Math 272 (G)

Topics in Logic:

Incompleteness of Formal Systems. Turing Degrees

4.00

 

Math 31 (UG)

Single Variable Calculus I

3.35

 

 

 

Fall 1988

Math 271 (G)

Mathematical Logic

4.00

 

Math 51 (UG)

Mathematics for Social and Management Sciences I

3.32

 

Math 51 (UG)

Mathematics for Social and Management Sciences I

3.12

 

 

 

Spring 1988

Math 101 (UG)

Introduction to Mathematical Logic

3.56

 

Math 52 (UG)

Mathematics for Social and Management Sciences I

3.33