Go to: Binns, S. E. Website


Teaching Assignment and Office Hours

Name: Dr.Binns, S. E. Phone: 2720 Off. Loc: 5-331 Email: binns@kfupm.edu.sa

 

Teaching assignment
# Course Section Period Location Activity Days

 

Office Hours (Phone: Office: )
Sunday Monday Tuesday Wednesday Thursday
 10:30-11:30
 
 10:30-11:30
 
 10:30-11:30
 
 10:30-11:30
 
 10:30-11:30
 
Remark:


Publications

Sno Publications Year Status
[1] Binns, S. E., "Completeness, Compactness, Effective Dimension," Annals of Pure & Applied Logic, vol. 59, no. 3, pp. 206-218, 2013.   2013 Published
[2] Binns, S. E., "Compressibility and Kolmogorov Complexity," Notre Dame Journal of Formal Logic, vol. 54, no. 1, pp. 141-159, Sep. 2012.   2012 Published
[3] Binns, S. E., "Relative Kolmogorov Complexity and Geometry," Journal of Symbolic Logic, vol. 76, no. 4, pp. 1121-1132, Dec. 2011.   2011 Published
[4] S. E. Binns, "Finding paths through wide and narrow trees," Journal of Symbolic Logic, vol. 74, no. 1, Mar. 2008.   2008 Published
[5] Binns, S. E., "Self-embeddings of computable trees," Notre Dame Journal of Formal Logic, vol. 49, no. 1, pp. 1-37, 2008.   2008 Published
[6] Binns, S. E., "∏1 classes with complex elements ," Journal of Symbolic Logic, vol. 73, no. 4, Oct. 2007.   2007 Published
[7] Binns, S. E., "Randomness and Geometry,".   Under Preparation


Projects

# Title PI/Coordinaor Members Sponsor Grant Ref # S-Date E-Date Month Status
1 Algorithmic Complexity and Effectively Closed Classes S. E. Binns KFUPM Internal Research IP/2008/05 Feb 2008 Jan 2009 12 In Progress


Course Files

Course Section Semester F1,F2.. :Final Exams, E1,E2..:Majors Q1,.. :Quizzes H1,.. : Homework& S1,.: Syllabus
MATH101 01 142 E1 E2 Q1 Q2 Q3 Q4
MATH101 02 142 Q1 Q2 Q3 Q4
AS201 01 141 F1 F2 E1 E2 Q1 S1
MATH101 16 141 Q1 Q2 Q3
MATH102 18 132 Q1 Q2 Q3
MATH102 19 132 Q1 Q2 Q3
MATH131 02 131 F1 E1 E2 Q1 Q2 Q3 S1
MATH260 05 131 Q1 Q2 Q3 Q4 S1 E1 E2 F1
MATH260 06 131 Q1 Q2 Q3 Q4 S1 E1 E2 F1
MATH201 05 123 Q1 Q2 Q3 O1 S1
(See section: 06 )
MATH201 06 123 Q1 Q2 Q3 O1 S1
(See section: 05 )
MATH301 02 122 F1 E1 E2 Q1 Q2 Q3 S1
MATH301 03 122 Q1 Q2 Q3 O1 O2 S1
MATH201 16 121 Q1 Q2 Q3 O1 O2 S1
MATH201 17 121 Q1 Q2 Q3 O1 O2 S1
MATH301 03 112 Q1 Q2 Q3 F1 E1 E2 S1
MATH301 04 112
(See section: 03 )
MATH131 02 111 F1 E1 E2 Q1 Q2 Q3 S1
MATH131 03 111 F1 E1 E2 Q1 Q2 Q3 S1
MATH102 20 102 Q1 Q2 Q3 Q4 O1 O2 S1
MATH102 11 101 Q3 Q4 Q2 O1 S1
MATH102 12 101 Q2 Q3 Q4 O1 S1
MATH102 09 091 F1 E1 E2 Q1 Q2 Q3 S1
MATH232 01 091 F1 E1 E2 S1 Q1
MATH102 19 082
MATH232 01 081 F1 E1 E2 S1
MATH302 03 081 E1 E2 S1
MATH260 04 072 E1 E2 O1 S1
MATH311 01 072 E1 E2 F1 S1
MATH101 07 071 F1 E1 E2
MATH232 01 071 F1 E2 S1 E1


Teachnical Reports

# Title View

[Last Update: 06/08/2019]