نازنین روشندل توانا - دانشگاه صنعتی امیرکبیر

Nazanin Roshandel Tavana, "An effective version of definability in metric structures", AUT Journal of Mathematics and Computing, Vol. 3, Num. 1, Page 1-20, December 2021,

Keng Meng Ng, Nazanin Roshandel Tavana, Yang Yue, "A recursion theoretic foundation of computation over real numbers", JOURNAL OF LOGIC AND COMPUTATION, Vol. 0, Num. 0, Page 1-30, July 2021,

Seyed Mohammad Amin Khatami, Masoud Pourmahdian, Nazanin Roshandel Tavana, "From rational Godel logic to ultrametric logic", JOURNAL OF LOGIC AND COMPUTATION, Vol. Vol 26, Num. 5, Page 1743-1767, October 2016,

Klaus Weihrauch, Nazanin Roshandel Tavana, "Representations of measurable sets in computable measure theory", LOGICAL METHODS IN COMPUTER SCIENCE, Vol. 10, Num. 3, Page 1-21, August 2015,

مقالات کنفرانس

داده های ثبت شده در پورتال

Nazanin Roshandel Tavana, "Complexity in Computable Analysisi ", Ninth Annual Conference of the Iranian Association for Logic, January 2022

Nazanin Roshandel Tavana, "Some results of effectiveness in metric model theory ", 52nd annual Iranian Mathematics Conference, August 2021

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

Nazanin Roshandel Tavana, "Some model theory on rational Godel logic ", Eighth annual conference, February 2021

دروس ارائه شده

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

Introduction to Logic & Set Theory

Learning logical deduction

Spring 2022

Foundation of Mathematics

Learning the basic notions of math and writing correctly

Spring 2022

Special Topics in Theory of Computing

learning computability theory on N and R

Spring 2022

Introduction to Logic & Set Theory

Learning basic concepts of mathematical logic

Fall 2021

Math. (I)

Learning calculus

Fall 2021

Universal Algebra

Learning the concepts of model theory

Fall 2021

Foundation of Mathematics

Learning how to write math concepts correctly and how to work with.

Spring 2021

Foundation of Mathematics

Learning how to write math concepts correctly and how to work with.

Spring 2021

Foundation of Mathematics

introduction to model theory

Spring 2021