دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Maaret Karttunen سری: Annales Academiae Scientiarum Fennicae. Series A. I. Mathematica Dissertationes. Volume 50 ISBN (شابک) : 9514104773 ناشر: Suomalainen Tiedeakatemia, University of Helsinki سال نشر: 1984 تعداد صفحات: 100 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
در صورت تبدیل فایل کتاب Model Theory for Infinitely Deep Languages [PhD Thesis] به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری مدل برای زبان های بی نهایت عمیق [پایان نامه دکترای] نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این شرح مختصری از رساله دکتری Maaret Karttunen زیر نظر پروفسور Jouko Vaananen است.
This is a short description of the doctoral dissertation of Maaret Karttunen under the supervision of Prof. Jouko Vaananen.
Introduction 1. The languages N and M 1.1. The syntax of N and M 1.2. The semantics of N and M 1.3. The expressive power of N and M 1.4. Determinacy of the semantical games 2. Model theoretical results 2.1. The downward Lowenheim-Skolem theorem 2.2. Los\'s theorem 2.3. Compactness properties 3. Tree-like partial isomorphisms and N-equivalence 3.1. Tree-like partial isomorphisms 3.2. Constituents in N 3.3. Characterizing N-equivalence 3.4. M-equivalence 3.5. Preservation of tree-like partial isomorphisms 3.6. Strengthening elementary equivalence References