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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Конспект лекцій з математичної логіки та теорії алгоритмів

دانلود کتاب خلاصه سخنرانی های منطق ریاضی و نظریه الگوریتم ها

مشخصات کتاب

Конспект лекцій з математичної логіки та теорії алгоритмів

دسته بندی: منطق
ویرایش:  
نویسندگان: Трохименко В.С.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 83 
زبان: Ukrainian 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 748 کیلوبایت

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

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

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

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

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

توضیحاتی در مورد کتاب خلاصه سخنرانی های منطق ریاضی و نظریه الگوریتم ها

Vinnytsia، 2007.
خلاصه سخنرانی ها با برنامه فعلی منطق ریاضی و نظریه الگوریتم ها برای تخصص های ریاضی دانشگاه های آموزشی مطابقت دارد.
محتوا: مقدمه.
1. منطق عبارات.
عملیات منطقی روی گزاره ها.
توالی منطقی در منطق گزاره ها.
معادل فرمول های منطق گزاره ها. اشکال عادی.
سیستم های کامل توابع بولی. جبر Zhegalkin کلاس های بسته توابع بولی. قضیه کامل بودن تابعی.
2. شماره گذاری عبارات.
شماره گذاری عبارات. قضیه قیاس.
کامل بودن، سازگاری و استقلال بدیهیات گزاره های شمارش.
3. منطق محمولات.
مقدمات و کمّی سازها.
کلیّت و اجباری بودن فرمولها در منطق محمولات.
4. نظریه های ریاضی مرتبه اول.
تعریف نظریه مرتبه اول. شمارش محمول.
ثبات و کامل بودن محمولات شمارش.
حساب صوری.
5. عناصر تئوری الگوریتم ها.
مفهوم الگوریتم و ویژگی های مشخصه آن.
الگوریتم های عادی.
درباره مسائل الگوریتمی حل نشدنی.
توابع محاسباتی.
A Turing ماشین.
ادبیات.

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

Вінниця, 2007.
Конспект лекцій відповідає діючій програмі з математичної логіки і теорії алгоритмів для математичних спеціальностей педагогічних університетів.
Зміст: Вступ.
1. Логіка висловлень.
Логічні операції над висловленнями.
Логічне слідування в логіці висловлень.
Рівносильність формул логіки висловлень. Нормальні форми.
Повні системи булевих функцій. Алгебра Жегалкіна.
Замкнені класи булевих функцій. Теорема про функціональну повноту.
2. Числення висловлень.
Числення висловлень. Теорема дедукції.
Повнота, несуперечність і незалежність аксіом числення висловлень.
3. Логіка предикатів.
Предикати і квантори.
Загальнозначущість і виконуваність формул в логіці предикатів.
4. Математичні теорії першого порядку.
Означення теорії першого порядку. Числення предикатів.
Несуперечність і повнота числення предикатів.
Формальна арифметика.
5. Елементи теорії алгоритмів.
Поняття алгоритму та його характерні риси.
Нормальні алгоритми.
Про алгоритмічно нерозв'язні проблеми.
Обчислювальні функції.
Машина Тьюрінга.
Література.