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):
3
Citations (Scopus):
33
Supervised MSc Theses
#
Thesis title
By
Date
1
Model Theory of One-Dimensional Asymptotic Classes
Fateme Peimany & Nazanin Roshandel Tavana
July 2023
2
Almost sure Theories in First Order Logic and its extensions
Zahra Mohammadi Khangheshlaghi & Nazanin Roshandel Tavana
March 2023
3
MV_algebras with internal states and probablistic fuzzy logics
Mohammadreza Heidari Ezzati & Nazanin Roshandel Tavana
March 2023
4
non locality in quantum information theory
Hamid Reza Saadi & Nazanin Roshandel Tavana
July 2020
5
FRA¨ISSE LIMITS OF C*-ALGEBRAS
Morteza Naderi & Nazanin Roshandel Tavana
June 2020
6
Fraïssé construction in continuous logic
Faezeh Safaee & Nazanin Roshandel Tavana
February 2019
7
Model theory of operator algebras: elementary equivalence and II1 factors
Mohammad Hossein Yeganeh Amiri & Nazanin Roshandel Tavana
February 2018
8
Model Theory of operator Algebra : Existentially Closed II1 Factors
Batoul Heshmati & Nazanin Roshandel Tavana
February 2018
Journal Papers
Portal Records
1
Nazanin Roshandel Tavana, "Some Model Theoretic Properties for Pavelka-Style Godel Logic, RGL* and Godel Logic with ?", Axioms, September 2023
Vol. 12,
Num. 9,
Page 858-870,
September 2023,
2
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,
3
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,
4
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,
5
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,
6
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, "Application of fuzzy membership matrix in Yoga for insomnia ", The first national conference on the role of basic science in public sports and Kung Fu Tua, July 2023
2
Nazanin Roshandel Tavana, "A property for minimal but not strongly minimal structures ", The tenth conference of the lranian association for logic, February 2023
3
Nazanin Roshandel Tavana, "Complexity in Computable Analysisi ", Ninth Annual Conference of the Iranian Association for Logic, January 2022
4
Nazanin Roshandel Tavana, "Some results of effectiveness in metric model theory ", 52nd annual Iranian Mathematics Conference, August 2021
5
Nazanin Roshandel Tavana, "Logic and operator algebra ", 51th annual Iranian math conference, February 2021
6
Nazanin Roshandel Tavana, "Some model theory on rational Godel logic ", Eighth annual conference, February 2021
Taught Courses
#
Course title
Description
Headlines
Date
1
Special Topics in Theory of Computing
Considering the concepts in machine learning through Computablity theory
Spring 2024
2
Foundation of Mathematics
Learing the beasic concepts of math and writting in math correctly
Spring 2024
3
Foundation of Mathematics
Learing the beasic concepts of math and writting in math correctly
Spring 2024
4
Introduction to the Theory of Computation
Learning automata
Fall 2023
5
Introduction to Logic & Set Theory
Learning the basic concepts of logic and set theory and their applications
Fall 2023
6
Introduction to Logic & Set Theory
Learning the basic concepts of logic and set theory and their applications
Fall 2023
7
Foundation of Mathematics
Learning foundamental math concepts and writing them in a correct way
Spring 2023
8
Introduction to the Theory of Computation
Learning automata
Spring 2023
9
Math. (I)
learning calculus
Fall 2022
10
Introduction to Logic & Set Theory
Learning logical deduction
Fall 2022
11
Theory of Computation
learning the concept of computability
Fall 2022