- Main
- Mathematics - Logic
- Introdução à lógica matemática
Introdução à lógica matemática
Carlos Alberto F. Bispo, Luiz B. Castanheira, Oswaldo Melo S. FilhoНаскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
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.
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.
Категорії:
Рік:
2011
Видання:
1st
Видавництво:
Cengage Learning
Мова:
portuguese
ISBN 10:
8522115958
ISBN 13:
9788522115952
Файл:
PDF, 1.84 MB
Ваші теги:
IPFS:
CID , CID Blake2b
portuguese, 2011
Напротязі 1-5 хвилин файл буде доставлено на ваш email.
Напротязі 1-5 хвилин файл буде доставлено на ваш Telegram акаунт.
Увага: переконайтесь, що ви прив'язали свій акаунт до Z-Library Telegram боту.
Напртязі 1-5 хвилин файл буде доставлений на ваш Kindle пристрій.
Примітки: вам необхідно верифікувати кожну книгу, яку Ви надсилаєте на Kindle. Перевірте Вашу електронну скриньку на наявність листів з підтвердженням від Amazon Kindle Support.
Виконується конвертація в
Конвертація в не вдалась
Переваги Преміум статусу
- Надсилайте на електронні читалки
- Ліміт завантажень збільшений
- Конвертуйте файли
- Більше результатів пошуку
- Інші переваги