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):
24
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 Algebra : Existentially Closed II1 Factors
Batoul Heshmati & Nazanin Roshandel Tavana
February 2018
5
Model theory of operator algebras: elementary equivalence and II1 factors
Muhammad Hossein Yeganeh Amiri & Nazanin Roshandel Tavana
February 2018
Journal Papers
Portal Records
1
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,
2
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,
3
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, "Some results of effectiveness in metric model theory ", 52nd annual Iranian Mathematics Conference, August 2021
2
Nazanin Roshandel Tavana, "Logic and operator algebra ", 51th annual Iranian math conference, February 2021
3
Nazanin Roshandel Tavana, "Some model theory on rational Godel logic ", Eighth annual conference, February 2021
Taught Courses
#
Course title
Description
Headlines
Date
1
Universal Algebra
Learning the concepts of model theory
Fall 2021
2
Math. (I)
Learning calculus
Fall 2021
3
Introduction to Logic & Set Theory
Learning basic concepts of mathematical logic
Fall 2021
4
Foundation of Mathematics
introduction to model theory
Spring 2021
5
Foundation of Mathematics
Learning how to write math concepts correctly and how to work with.
Spring 2021
6
Foundation of Mathematics
Learning how to write math concepts correctly and how to work with.
Spring 2021
7
Math. (I)
Learning calculus
Fall 2020
8
Math. (I)
Learning calculus
Fall 2020
9
Introduction to Logic & Set Theory
learning how to use deduction and concept of a set
Fall 2020