ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Елементи математичної логіки та теоріі рекурсії

دانلود کتاب عناصر منطق ریاضی و نظریه بازگشت

Елементи математичної логіки та теоріі рекурсії

مشخصات کتاب

Елементи математичної логіки та теоріі рекурсії

دسته بندی: منطق
ویرایش:  
نویسندگان: , ,   
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 152 
زبان: Ukrainian 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 765 کیلوبایت

قیمت کتاب (تومان) : 48,000



کلمات کلیدی مربوط به کتاب عناصر منطق ریاضی و نظریه بازگشت: ریاضیات، منطق ریاضی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Елементи математичної логіки та теоріі рекурсії به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب عناصر منطق ریاضی و نظریه بازگشت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب عناصر منطق ریاضی و نظریه بازگشت

\r\n\r\n\r\n \r\n 404 - File or directory not found. \r\n \r\n\r\n\r\n

Server Error

\r\n
\r\n
\r\n

404 - File or directory not found.

\r\n

The resource you are looking for might have been removed, had its name changed, or is temporarily unavailable.

\r\n
\r\n
\r\n\r\n\r\n


توضیحاتی درمورد کتاب به خارجی

Навчальний посібник. - Львів: Львівський національний університет імені Івана Франка, 2007. - 152.
Метою даної книжки є виклад базових тем математичної логіки, до входять до програм цього курсу для студентів механико-математичних факультетів університетів у зручній для сприйняття формі.
Зміст:
Розділ I. Семіотика, логічні мови і алгебра висловлень.
Семіотика і загальна фнформація про мови першого порядку.
Висловлення та дії над ними.
Бульові алгебри.
Розділ II. Числення висловлень.
Мова числення висловлень.
Формальні доведення в численні висловлень.
Нормальні форми формул ЧВ.
Семантика числення висловлень.
Розділ III. Числення предикатів.
Математичні структури (алгебраїчні системи).
Алгебраїчні струтури.
Мова числення предикатів.
аксіоми і правила виведення числення предикатів.
Еквівалентність формул числення предикатів.
Інтерпретація числення предикатів.
Теорема Геделя про повноту.
Варіанти числення предикатів першого порядку.
Розділ IV. Теорія моделей.
Основні поняття теорії моделей.
Елементарні підструктури.
Критерій елементарної підструктури.
Ультрафільтри.
регулярні ультрафільтри.
Ультрадобутки.
Регулярні ультрадобутки.
Аксіоматизовані класи структур.
Розділ V. Теорія рекурсії.
Машини Тюрінга.
Рекурсивні функції.
Обчислені за Тюрінгом функції та рукурсивні функції.
Розділ VI. Додатки.
Додаток 1 Мова Шмульяна для самоописання.
Додаток 2 10 проблема Гільберта.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی