NAZANIN ROSHANDEL TAVANA
Assistant Professor
Department of Mathematics and Computer Science
Pure Mathematics
Department of Mathematics and Computer Science
Pure Mathematics
Download PDF فارسی
Content
Pepole
CV
Download PDF فارسی
Email:
nrtavana
aut.ac.ir
aut.ac.irPhone:
h-index (Scopus):
2
Citations (Scopus):
25
Supervised MSc Theses
#
Thesis title
By
Date
1
non locality in quantum information theory
Hamid Reza Saadi & Nazanin Roshandel Tavana
July 2020
2
FRA¨ISSE LIMITS OF C*-ALGEBRAS
Morteza Naderi & Nazanin Roshandel Tavana
June 2020
3
Fraïssé construction in continuous logic
Faezeh Safaee & Nazanin Roshandel Tavana
February 2019
4
Model theory of operator algebras: elementary equivalence and II1 factors
Mohammad Hossein Yeganeh Amiri & Nazanin Roshandel Tavana
February 2018
5
Model Theory of operator Algebra : Existentially Closed II1 Factors
Batoul Heshmati & Nazanin Roshandel Tavana
February 2018
Journal Papers
Portal Records
1
Nazanin Roshandel Tavana, "The Craig Interpolation Property for Rational Godel Logic", IRANIAN JOURNAL OF FUZZY SYSTEMS, September 2022
Vol. 20,
Num. 1,
Page 1-8,
September 2022,
2
Nazanin Roshandel Tavana, "An effective version of definability in metric structures", AUT Journal of Mathematics and Computing, December 2021
Vol. 3,
Num. 1,
Page 1-20,
December 2021,
3
Keng Meng Ng, Nazanin Roshandel Tavana, Yang Yue, "A recursion theoretic foundation of computation over real numbers", JOURNAL OF LOGIC AND COMPUTATION, July 2021
Vol. 0,
Num. 0,
Page 1-30,
July 2021,
4
Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin Roshandel Tavana, "From rational Godel logic to ultrametric logic", JOURNAL OF LOGIC AND COMPUTATION, October 2016
Vol. Vol 26,
Num. 5,
Page 1743-1767,
October 2016,
5
Klaus Weihrauch, Nazanin Roshandel Tavana, "Representations of measurable sets in computable measure theory", LOGICAL METHODS IN COMPUTER SCIENCE, August 2015
Vol. 10,
Num. 3,
Page 1-21,
August 2015,
Conference Papers
Portal Records
1
Nazanin Roshandel Tavana, "Complexity in Computable Analysisi ", Ninth Annual Conference of the Iranian Association for Logic, January 2022
2
Nazanin Roshandel Tavana, "Some results of effectiveness in metric model theory ", 52nd annual Iranian Mathematics Conference, August 2021
3
Nazanin Roshandel Tavana, "Logic and operator algebra ", 51th annual Iranian math conference, February 2021
4
Nazanin Roshandel Tavana, "Some model theory on rational Godel logic ", Eighth annual conference, February 2021
Taught Courses
#
Course title
Description
Headlines
Date
1
Math. (I)
learning calculus
Fall 2022
2
Introduction to Logic & Set Theory
Learning logical deduction
Fall 2022
3
Theory of Computation
learning the concept of computability
Fall 2022
4
Special Topics in Theory of Computing
learning computability theory on N and R
Spring 2022
5
Introduction to Logic & Set Theory
Learning logical deduction
Spring 2022
6
Foundation of Mathematics
Learning the basic notions of math and writing correctly
Spring 2022
7
Math. (I)
Learning calculus
Fall 2021
8
Introduction to Logic & Set Theory
Learning basic concepts of mathematical logic
Fall 2021
9
Universal Algebra
Learning the concepts of model theory
Fall 2021
10
Foundation of Mathematics
introduction to model theory
Spring 2021
11
Foundation of Mathematics
Learning how to write math concepts correctly and how to work with.
Spring 2021
12
Foundation of Mathematics
Learning how to write math concepts correctly and how to work with.
Spring 2021