مشخصات کتاب

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 مگابایت 

در صورت تبدیل فایل کتاب 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.

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

کتاب های تصادفی

دانلود کتاب More Blood Sex & Scooby Snacks

دانلود کتاب Risk Assessment and Management in Mental Health Nursing

دانلود کتاب The language of heroes : speech and performance in the Iliad

دانلود کتاب Observing Photons in Space: A Guide to Experimental Space Astronomy

دانلود کتاب Zu den Grundfragen der Ästhetik bei Bauwerken