ABS Mohammadifard(Latin)

ABSTRACT:

The process of computing a Gr?bner basis may involve large

numbers of intermediate coefficients, even when the final Gr?bner basis does not

involve large coefficients.Shirayanagi proposed a new approach based on floating point arithmetic in the case K is

a subfield of the real numbers [20]. Basically he mimiced Buchberger’s algorithm. However, the

ABS Mohammadifard(Persion)

پايه ي گربنر يكي از ابزارهاي محاسباتي براي مطالعه ي ايده آل هاي چندجمله اي است كه توسط بوخبرگر در سال 1965 معرفي شد. اما در عمل برخي از ايده آل ها داراي مجموعه ي مولد با ضرايب اعشاري هستند. از طرفي با روش هاي معمول محاسبه ي پايه ي گربنر در حالت كلي نمي توان پايه ي گربنر اين ايده آل ها را محاسبه كرد. به همين دليل از سال 1996، اين موضوع به يكي از موضوع هاي مهم در جبر محاسباتي تبديل شده است. در سال 1996 شيراياناگي با استفاده از روش هاي محاسباتي عددي، الگوريتم FPGB را براي اين منظور معرفي كرد.

ABS Ahmadi(Latin)

ABSTRACT:  

In this thesis   we Introduce Quantified Interpreted Systems. A Semanticse To Reason About Knowledge In Multi-Agent Systems In A First Order Setting. We Define First Order Modal Axiomatisation For Different Settings.

ABS Ahmadi(Persion)

در اين پايان نامه نقش اگاهي در سيستم هاي چند عاملي بر پايه منطق مرتبه اول مورد بررسي قرار مي گيرد.اين كار در گذشته بر پايه منطق گزاره اي انجام شده است.در اين پايان نامه سيستم هاي حالات سراسري معرفي مي گردند.

 

-

ABS Golrangi (Persion)

هدف ما در اين پايان نامه مطالعه منطق اثبات ها و برخي گسترش هاي آن است. منطق اثبات ها ابتدا توسط آرتموف در سال 1994 مطرح گرديد. يكي از انگيزه هاي شكل گيري منطق اثبات ها، ارائه يك معناشناسي اثبات پذيري دقيق برايS4 و صوري كردن تعبيرBHK براي منطق شهودي بود.LP   گسترشي از منطق گزاره اي كلاسيك است كه زبان آن علاوه بر نمادهاي منطق گزاره اي شامل عملگرهاي اثبات مي باشد.

ABS Sajadi(Latin)

ABSTRACT: 

Ramsey theory is one of the branches of mathematics that starting in 1930 with Ramsey . There are many interesting applications of ramsey theory in other branches of mathematics such as number theory , logic , analysis , algebra, geometry and information theory .

Experiences

            Teaching Experiences

 

· Isfahan University of Technology, Isfahan, Assistant Professor, Since Fall 2000-Present

· Sharif University of Technology, Tehran, Lecturer, Spring 1998

ABS Sajjadi(Persion)

نظريه رمزي شاخه اي از رياضيات است كه در سال 1930 توسط رمزي مطرح شد. كاربردهاي جالبي از نظريه رمزي در ديگر شاخه هاي رياضي از جمله نظريه مجموعه ها، منطق، آناليز ، جبر، هندسه و نظريه اطلاعات وجود دارد.