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

خدمات ویژه: هیئت علمی دانشجویان دانش آموختگان کارکنان

مطالب پایگاه

اعضای هیات علمی

پست الکترونیک

اتوماسیون اداری و مکاتبات

پورتال آموزشی و پژوهشی

سامانه آموزش الکترونیک

مدیریت یادگیری - دروس حضوری

پورتال تغذیه

پیگیری نامه

ویرایش رزومه اساتید

اعضای هیات علمی

سامانه ارتقای اساتید(اوج)

سامانه جامع نظام پیشنهادها

دفتر تلفن

تلویزیون تحت شبکه

پایگاه نرم افزار

سامانه جلسات Online

راهنماها

مدیریت حساب کاربری

میز خدمت الکترونیک

کتابخانه دیجیتال

سامانه یکپارچه کتابخانه‌ها

سامانه مدیریت یکپارچه آموزش کارکنان

دانشگاه صنعتی امیرکبیر

سامانه رزومه

نازنین روشندل توانا

نازنین روشندل توانا

استادیار
دانشکده ریاضی و علوم کامپیوتر
گروه آموزشی ریاضی محض

دریافت با فرمت PDF English

پست الکترونیک:

nrtavana

aut.ac.ir

شماره تماس:

h-index (Scopus):

4.00

ارجاعات (Scopus):

46

پایان‌نامه‌های کارشناسی ارشد

#

عنوان پایان‌نامه

توسط

تاریخ دفاع

1

حذف سور در II1 فاکتورها

سیدمحمدجواد رضوی طوسی
استاد راهنمای دیگر: مهدی رستمی

مرداد 1404

2

برخی نتایج درمورد عکس نامساوی کوشی-شوارتز در فضاهای ضرب داخلی

نگین رئیسی و مهدی رستمی
استاد راهنمای دیگر:

مهر 1403

3

وجود وپایداری جواب های یک مساله مقدار مرزی کسری

شیرین کیوان فر و سیدمنصور واعظ پور
استاد راهنمای دیگر:

تیر 1403

4

مدل تئوری ساختارهای مجانبی یک بعدی

فاطمه پیمانی و مسعود پورمهدیان
استاد راهنمای دیگر:

مرداد 1402

5

تئوری های تقریبا قطعی در منطق مرتبه اول و گسترش های آن

زهرا محمدی خان قشلاقی و مسعود پورمهدیان
استاد راهنمای دیگر:

اسفند 1401

6

جبرهای چند ارزشی با حالات داخلی و منطق های فازی احتمالاتی

محمدرضا حیدری عزتی

اسفند 1401

7

حدهای فراسه *C-جبرها

مرتضی نادری و مسعود پورمهدیان
استاد راهنمای دیگر:

تیر 1399

8

غیر موضعی بودن در نظریه کوانتومی اطلاعات

حمیدرضا سعدی دادمرزی و مسعود پورمهدیان
استاد راهنمای دیگر:

تیر 1399

9

روش فراسه در منطق پیوسته

فائزه صفائی
استاد راهنمای دیگر: مسعود پورمهدیان

بهمن 1397

10

نظریه مدل جبرهای عملگری: II1 فاکتورهای بطور وجودی بسته

بتول حشمتی

بهمن 1396

11

نظریه مدل جبرهای عملگری: هم ارزی مقدماتی و II1 فاکتورها

محمدحسین یگانه امیری

بهمن 1396

12

بخش بندی تصاویر آسیب شناسی بافتی با استفاده از مدل های انتشار نهفته شرطی شده با نمایش های خودنظارت شده

محمدشکیب حسین زاده

خرداد 1405

مقالات مجلات

1

S. Jalili Galeh, M. Pourmahdian, N. Roshandel Tavana, "Generic expansions of geometric theories", Journal of Symbolic Logic, vol. 0, no. 0, pp.1-22, 2024.

2

N. Roshandel Tavana, M. Pourmahdian, 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.

3

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

4

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

5

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

6

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

7

S.M.A. Khatami, M. Pourmahdian, N. Roshandel Tavana, "From rational Godel logic to ultrametric logic", Journal of Logic and Computation, vol. Vol 26, no. 5, pp.1743-1767, 2016.

8

Klaus Weihrauch, N. Roshandel Tavana, "Representations of measurable sets in computable measure theory", Logical Methods In Computer Science, vol. 10, no. 3, pp.1-21, 2015.

9

N. Roshandel Tavana, 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.

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

#

عنوان درس

توصیف درس

سرفصل ها

دوره درسی

1

Introduction to Logic & Set Theory

4051

2

Math. (I)

4051

3

Introduction to Logic & Set Theory

4042

4

Introduction to the Theory of Computation

4042

5

Foundations of Mathematics

4042

6

Foundation of Mathematics

4041

7

Computer Programming

4041

8

Model Theory

4032

9

Foundation of Mathematics

4032

10

Foundation of Mathematics

4032

11

Theory of Computation

4032