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

JALILI GALEH SOMAYE ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Generic expansions of geometric theories", Journal of Symbolic Logic, vol. 0, no. 0, pp.1-22, 2024.

ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، S.M.Khatami, "The Craig interpolation property in first-order G?del logic", Fuzzy Sets and Systems, vol. 485, no. 0, pp.1-10, 2024.

ROSHANDEL TAVANA NAZANIN, "Some Model Theoretic Properties for Pavelka-Style Godel Logic, RGL* and Godel Logic with ?", Axioms, vol. 12, no. 9, pp.858-870, 2023.

ROSHANDEL TAVANA NAZANIN, "The Craig Interpolation Property for Rational Godel Logic", Iranian Journal of Fuzzy Systems, vol. 20, no. 1, pp.1-8, 2022.

ROSHANDEL TAVANA NAZANIN, "An effective version of definability in metric structures", .Aut Journal of Mathematics and Computing, vol. 3, no. 1, pp.1-20, 2021.

Keng Meng Ng ، ROSHANDEL TAVANA NAZANIN ، Yang Yue, "A recursion theoretic foundation of computation over real numbers", Journal of Logic and Computation, vol. 0, no. 0, pp.1-30, 2021.

KHATAMI SEYED MOHAMMAD AMIN ، POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, vol. Vol 26, no. 5, pp.1743-1767, 2016.

POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN ، Didehvar Farzad, "Effective metric model theory", Mathematical Structures In Computer Science, vol. 25, no. 8, pp.1779-1798, 2015.

Klaus Weihrauch ، ROSHANDEL TAVANA NAZANIN, "Representations of measurable sets in computable measure theory", Logical Methods In Computer Science, vol. 10, no. 3, pp.1-21, 2015.

POURMAHDIAN MASOUD ، ROSHANDEL TAVANA NAZANIN, "Compactness in first order Godel logics", Journal of Logic and Computation, vol. 23, no. 3, pp.473-485, 2012.

ROSHANDEL TAVANA NAZANIN ، POURMAHDIAN MASOUD ، Didehvar Farzad, "Compactness in first order Lukasiewicz logic", Logic Journal of The Igpl, vol. 20, no. 1, pp.254-265, 2012.

ROSHANDEL TAVANA NAZANIN ، Klaus Weihrauch, "Turing machines on represented sets, a model of computation for analysis", Logical Methods In Computer Science, vol. 7, no. 2, pp.1-21, 2011.

مقالات همایش‌ها

ROSHANDEL TAVANA NAZANIN, "A computable version of Frass limit for metric structures,", The 12th Annual Conference of the Iranian Association for Logic, Feb 2025.

ROSHANDEL TAVANA NAZANIN, "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, Jul 2023.

ROSHANDEL TAVANA NAZANIN, "A property for minimal but not strongly minimal structures,", The tenth conference of the lranian association for logic, Feb 2023.

ROSHANDEL TAVANA NAZANIN, "Complexity in Computable Analysisi,", Ninth Annual Conference of the Iranian Association for Logic, Jan 2022.

ROSHANDEL TAVANA NAZANIN, "Some results of effectiveness in metric model theory,", 52nd annual Iranian Mathematics Conference, Aug 2021.

ROSHANDEL TAVANA NAZANIN, "Logic and operator algebra,", 51th annual Iranian math conference, Feb 2021.

ROSHANDEL TAVANA NAZANIN, "Some model theory on rational Godel logic,", Eighth annual conference, Feb 2021.

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

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

Introduction to Logic & Set Theory

4051

Introduction to Logic & Set Theory

4051

Foundations of Mathematics

4042

Introduction to the Theory of Computation

4042

Introduction to Logic & Set Theory

4042

Foundation of Mathematics

4041

Computer Programming

4041

Model Theory

4032

Foundation of Mathematics

4032

Foundation of Mathematics

4032

Theory of Computation

4032