Lógica Formal e Teoria dos Conjuntos para Computação

Quer construir software robusto ou entender os fundamentos teóricos da computação moderna?A lógica formal e a teoria dos conjuntos fornecem a base essencial para toda a ciência da comput... [+] Este curso orienta você através dos conceitos básicos da matemática discreta, permitindo que você expresse ideias complexas com precisão, analise o valor da verdade das declarações e aplique técnicas de raciocínio formal a problemas computacionais práticos, incluindo o uso de ferramentas de satisfação de restrições. O que você vai aprender: * Compreender os princípios básicos da lógica proposicional, tabelas de verdade e álgebra booleana. * Dominar o uso de quantificadores e predicados para formular declarações matemáticas e computacionais complexas. * Aplicar operações da teoria dos conjuntos (união, interseção, complemento) e relações fundamentais às estruturas de dados. * Praticar provas formais e técnicas de derivação para verificar a correção de argumentos lógicos. * Configurar e utilizar modernos solucionadores SAT para lidar com problemas de verificação e satisfação de restrições do mundo real. Começamos com definições fundamentais em lógica e conjuntos, progredindo através de notação simbólica, provas formais e a aplicação direta desses conceitos em contextos de ciência da computação.Este curso é projetado para iniciantes absolutos interessados em ciência de computadores, matemática ou raciocínio formal. Não é necessário conhecimento prévio de lógica ou matemática avançada. Comece a construir sua base para o pensamento computacional hoje.