دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Lógica para computação
دانلود کتاب منطق برای محاسبه
مشخصات کتاب
Lógica para computação
ویرایش: نویسندگان: Silva. Flavio Soares Correa da, Finger. Marcelo. Melo. Ana Cristina Vieira de سری: ISBN (شابک) : 9788522105175, 8522105170 ناشر: Cengage Learning سال نشر: 2006 تعداد صفحات: 237 زبان: Portuguese فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 31 مگابایت
قیمت کتاب (تومان) : 54,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Lógica para computação به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای محاسبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برای محاسبه
این کتاب متنی اصلی را به زبان پرتغالی ارائه میکند که بدون از دست دادن رویکرد مقدماتی، دقت و عمق ریاضی را برای مخاطب هدف ارائه میکند. این کار، مبانی و روشهای منطق ریاضی را به دانشجویان علوم کامپیوتر ارائه میکند و به آنها اجازه میدهد تا از مزایا و مشکلات ناشی از کاربرد روشهای رسمی - و به طور خاص روشهای مبتنی بر منطق رسمی - در جنبهها و پیامدهای مختلف علوم کامپیوتر، قدردانی کنند.
توضیحاتی درمورد کتاب به خارجی
O livro apresenta um texto original em português que, sem perder a abordagem introdutória, expõe rigor matemático e profundidade adequados para o público-alvo. A obra apresenta os fundamentos e métodos da lógica matemática para estudantes de Ciência da Computação, permitindo-lhes apreciar os benefícios e as dificuldades advindos da aplicação de métodos formais - e mais especificamente dos métodos fundamentados em lógica formal - para as diversas facetas e ramificações da Ciência da Computação.
