مریم قرآنی

محتوای الکترونیک

• ساختمان داده ها و الگوریتم ها [کارشناسی]
• مبانی محاسبات نرم [کارشناسی]
• مبانی نظریه محاسبه [کارشناسی]

تابلوی اعلانات

زمینه‌های تدریس

• ریاضیات تکمیلی
• نظریه زبانها و اتوماتا
• نظریه فازی

• برنامه نویسی پیشرفته
• ریاضی عمومی 1
• مبانی کامپیوتر
• معادلات دیفرانسیل
• نظریه محاسبه

سرپرستی پایان‌نامه‌ها

مقالات و کتب

• "یک الگوریتم اولیه-دوگان برای حل مسائل بهینه‌سازی چندهدفه با متغیرهای فازی"، مجله تحقیق در عملیات در کاربردهای آن، 3، 3، 1-22، 2020-09-22
• "ارتباط بین اتوماتای درختی فازی قطعی و نگاشت های مرحله ای تشخیص پذیر نرمال"، مجله سیستم های فازی و کاربردها، 2، 2، 113-132، 2022-03-01
• "Characterization of Tree Automata Based on Quantum Logic"، INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS، 2، 2، 1-24، 2643-06-23


• "Coding tree languages based on lattice-valued logic", SOFT COMPUTING, 0, 0, 1-11
• "Alternating Regular Tree Grammars in the Framework of Lattice-Valued Logic", Iranian Journal of Fuzzy Systems, 2, 2, 71-94, 2016-02-20
• "On characterization of fuzzy tree pushdown automata", SOFT COMPUTING, 0, 0, -
• "TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS", Iranian Journal of Fuzzy Systems, 7, 7, 103-119, 2018-09-01
• "State hyperstructures of tree automata based on lattice-valued logic", RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 1, 1, 23-42
• "SOME RESULTS ON THE EXACT 1-STEP DOMINATION GRAPHS", Mathematica Montisnigri, 1, 1, 1-13, 2019-01-01
• "Quantum Programming Language: A Systematic Review of Research Topic and Top Cited Languages", ARCHIVES OF COMPUTATIONAL METHODS IN ENGINEERING, 0, 0, 1-12
• "A minimization algorithm for fuzzy top-down tree automata over lattices", JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 3, 3, 4471-4480, 2021-03-02
• "Strength of strongest dominating sets in fuzzy graphs", Communications in Combinatorics and Optimization, 2, 2, 287-297, 2021-01-04
• "Decidability of the minimization of fuzzy tree automata with membership values in complete lattices", Journal of Applied Mathematics and Computing, 0, 0, 1-18
• "Lattice-valued tree pushdown automata: Pumping lemma and closure properties", INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1, 1, 301-323, 2022-03-01
• "A symbiosis between cellular automata and dynamic weighted multigraph with application on virus spread modeling", CHAOS SOLITONS & FRACTALS, 1, 1, 111660-111673, 2022-02-01
• "A Theorem on Supports of Weighted Tree Automata Over Strong Bimonoids", New Mathematics and Natural Computation, 0, 0, 1-16

• "Epsilon (weak, proper) efficiency in multiobjective programming", ششمین همایش ملی ریاضی دانشگاه پیام نور, اصفهان, 2010-06-09
• "A reduction algorithm for fuzzy coding tree automata", International Conference on Mathematics of Fuzziness, ایران, زنجان, 2016-04-27
• "A Pumping Lemma for Fuzzy Tree Language with a Threshold", دومین کنفرانس ملی محاسبات نرم, ایران, رودسر, 2017-11-22
• "Pushdown automata based on lattice-valued logic: closure properties and decision problems", دومین کنفرانس ملی محاسبات نرم ایران, ایران, رودسر, 2017-11-22
• "Strength of Fuzzy Domination in Fuzzy Graphs", دومین کنفرانس ملی محاسبات نرم, ایران, رودسر, 2017-11-22
• "Some results on fuzzy tree automata", چهل و هشتمین کنفرانس ریاضی ایران, ایران, همدان, 2017-08-22
• "The Equivalence Between Weighted top-down Tree Automata", سومین کنفرانس ملی تکنولوژی مهندسی برق و کامپیوتر, ایران, تهران, 2017-05-26
• "Strongest Exact 1-Step Dominating Set for Fuzzy Graphs", 3rd International Conference on Soft Computing, ایران, رودسر, 2019-11-20

پروژه‌های تحقیقاتی

سوابق پژوهشی و اجرایی

دانشجویان دکتری

برنامه هفتگی

برنامه هفتگی	8-10	10-12	12-14	14-16	16-18	18-20
شنبه	مطالعه و طرح درس	پژوهش و تحقیق
یک‌شنبه	پایان نامه دانشجویان ارشد	مبانی کامپیوتر		ریاضی عمومی 1
دوشنبه	مطالعه و طرح درس	جلسه دانشکده		نرم افزار ریاضی	مطالعه و طرح درس
سه‌شنبه	پایان نامه دانشجویان ارشد	رفع اشکال دانشجویان		مبانی کامپیوتر
چهارشنبه	ریاضی عمومی 1	رفع اشکال دانشجویان*		نرم افزار ریاضی (فرد)
پنج‌شنبه

توضیحات: * با تعیین وقت قبلی

پرسش و پاسخ