دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Introdução à lógica matemática
دانلود کتاب مقدمه ای بر منطق ریاضی
مشخصات کتاب
Introdução à lógica matemática
ویرایش: 1st نویسندگان: Carlos Alberto F. Bispo, Luiz B. Castanheira, Oswaldo Melo S. Filho سری: ISBN (شابک) : 852211126X, 9788522115952 ناشر: Cengage Learning سال نشر: 2011 تعداد صفحات: 154 زبان: Portuguese فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Introdução à lógica matemática به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر منطق ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مقدمه ای بر منطق ریاضی
این اثر توسط استادانی از Academia da Força Aérea (AFA) که مسئول مبحث منطق ریاضی هستند، نوشته شده است و هدف آن این است که علاوه بر پر کردن یک مقاله، پایه مقدماتی لازم برای مطالعه عمیق منطق و کاربردهای آن را به خواننده ارائه دهد. کمبود کتابشناختی متون در دسترس و تعلیمی تر است. بنابراین، این کتاب از یک بخش اولیه تشکیل شده است که در آن حساب گزاره‌ای با اتصالات، جداول صدق، توتولوژی‌های مرتبط‌تر، رسمی‌سازی استدلال‌ها و اثبات اعتبار یا عدم اعتبار آنها ارائه شده است. در بخش دوم، حساب محمولی با اثبات اعتبار استدلال ها با استفاده از کمیت سازهای کلی و وجودی ارائه می شود. در هر فصل، مطالب با مثال‌های روشنگرانه نشان داده می‌شود و به دنبال آن تمرین‌های حل‌شده که هدف آن سوق دادن دانش‌آموز به درک منطق ریاضی است، علاوه بر تمرین‌های پیشنهادی، که خواننده باید آنها را حل کند و با وضوح ارائه شده توسط نویسندگان بررسی کند. .
توضیحاتی درمورد کتاب به خارجی
Esta obra foi escrita por docentes da Academia da Força Aérea (AFA), responsáveis pela disciplina Lógica Matemática, e tem por objetivo dar ao leitor o fundamento introdutório necessário para o estudo aprofundado da Lógica e suas aplicações, além de suprir uma deficiência bibliográfica de textos mais acessíveis e didáticos. Para tanto, este livro é composto de uma parte inicial, em que o Cálculo Proposicional é apresentado com conectivos, tabelas-verdade, tautologias mais relevantes, formalização de argumentos e prova de sua validade ou invalidade. Na segunda parte é apresentado o Cálculo de Predicados com a prova de validade de argumentos usando o quantificador universal e o existencial. Em cada capítulo, o conteúdo é ilustrado com exemplos esclarecedores, seguidos por exercícios resolvidos, cuja finalidade é levar o aluno a entender a lógica matemática, além dos exercícios propostos, os quais o leitor deverá resolver e conferir com a resolução apresentada pelos autores.
