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

NAZANIN ROSHANDEL TAVANA

Assistant Professor

Department of Mathematics and Computer Science

Pure Mathematics

Department of Mathematics and Computer Science

Pure Mathematics

Download PDF فارسی

Email:

nrtavanaaut.ac.ir

Phone:

h-index (Scopus):

3

Citations (Scopus):

37

Supervised MSc Theses

#

Thesis title

By

Date

1

Existence and stability of solutions of a certain fractional boundary value problem

Shirin Keyvanfar & Nazanin Roshandel Tavana

July 2024

2

Model Theory of One-Dimensional Asymptotic Classes

Fateme Peimany & Nazanin Roshandel Tavana

July 2023

3

MV_algebras with internal states and probablistic fuzzy logics

Mohammadreza Heidari Ezzati & Nazanin Roshandel Tavana

March 2023

4

Almost sure Theories in First Order Logic and its extensions

Zahra Mohammadi Khangheshlaghi & Nazanin Roshandel Tavana

March 2023

5

non locality in quantum information theory

Hamid Reza Saadi & Nazanin Roshandel Tavana

July 2020

6

FRA¨ISSE LIMITS OF C*-ALGEBRAS

Morteza Naderi & Nazanin Roshandel Tavana

June 2020

7

Fraïssé construction in continuous logic

Faezeh Safaee & Nazanin Roshandel Tavana

February 2019

8

Model theory of operator algebras: elementary equivalence and II1 factors

Mohammad Hossein Yeganeh Amiri & Nazanin Roshandel Tavana

February 2018

9

Model Theory of operator Algebra : Existentially Closed II1 Factors

Batoul Heshmati & Nazanin Roshandel Tavana

February 2018

Journal Papers

Portal Records

1

Somaye Jalili Galeh, Masoud Pourmahdian, Nazanin Roshandel Tavana, "Generic expansions of geometric theories", JOURNAL OF SYMBOLIC LOGIC, April 2024
Vol. 0,
Num. 0,
Page 1-22,
April 2024,

2

Nazanin Roshandel Tavana, Masoud Pourmahdian, S.M.Khatami, "The Craig interpolation property in first-order G?del logic", FUZZY SETS AND SYSTEMS, April 2024
Vol. 485,
Num. 0,
Page 1-10,
April 2024,

3

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,

4

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,

5

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,

6

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,

7

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,

8

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,

9

Nazanin Roshandel Tavana, Klaus Weihrauch, "Turing machines on represented sets, a model of computation for analysis", LOGICAL METHODS IN COMPUTER SCIENCE, June 2011
Vol. 7,
Num. 2,
Page 1-21,
June 2011,

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, "Some model theory on rational Godel logic ", Eighth annual conference, February 2021

6

Nazanin Roshandel Tavana, "Logic and operator algebra ", 51th annual Iranian math conference, February 2021

Taught Courses

#

Course title

Description

Headlines

Date

1

Foundation of Mathematics

Learing the beasic concepts of math and writting in math correctly

Spring 2024

2

Special Topics in Theory of Computing

Considering the concepts in machine learning through Computablity theory

Spring 2024

3

Foundation of Mathematics

Learing the beasic concepts of math and writting in math correctly

Spring 2024

4

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

8

Foundation of Mathematics

Learning foundamental math concepts and writing them in a correct way

Spring 2023