# data[].attributes.headline
como escolher curso de tecnologia para seu filho

# data[].attributes.subject
como escolher curso de tecnologia para seu filho

# data[].attributes.body
A lógica computacional é a linguagem por trás das funções de um computador. Ela usa elementos da lógica tradicional e da computação para criar comandos e desenvolver softwares ou algoritmos. Nesse sentido, é preciso seguir um raciocínio organizado e complexo, o qual faz parte do pensamento computacional

# data[].attributes.headline
Lógica computacional: como ajuda na formação dos filhos?

# data[].attributes.subject
Lógica computacional: como ajuda na formação dos filhos?

# data[].attributes.body
A computação faz parte de todas as áreas da nossa vida, o que inclui não só a carreira e vida pessoal, mas também a rotina dos filhos.

Se vivemos em um mundo onde a computação é tão relevante, conhecer a linguagem que fundamenta a área é essencial, não é mesmo? Por isso, a lógica computacional é uma habilidade importante, sendo que a programação para crianças também é uma estratégia fundamental nesse sentido.

Essa lógica é uma filosofia que orienta um novo pensar e expande horizontes de estudantes e profissionais. É geralmente aplicada para fins computacionais, de modo a permitir a criação de instruções que solucionem um problema.

Investir nesse tipo de lógica pode ser uma ótima estratégia para preparar o seu filho para o mundo. Assim, ele conseguirá se comunicar melhor, terá mais autonomia e desenvolverá uma boa capacidade de resolução de problemas.

# data[].attributes.headline
Quais são os benefícios para as crianças?Alfabetização e letramento digital

# data[].attributes.subject
Quais são os benefícios para as crianças?Alfabetização e letramento digital

# data[].attributes.body
Praticamente toda criança utiliza computadores e smartphones. Contudo, com o aprendizado de lógica da computação, eles vão descobrir como utilizar essas ferramentas a fim de evoluir nas matérias estudadas e construir uma visão nova sobre o mundo — mais crítica, inteligente e analítica.

O letrado digital não só lê novas informações, mas as confronta com aspectos éticos, sociais e outros. Ele aprende a selecionar o que é importante e o que não é, considerando um escopo específico. Assim, ele se torna a pessoa ideal para lidar com um problema, pois consegue ser eficiente e organizado.

Autonomia

Outra questão é a autonomia, uma vez que a lógica empodera os alunos, dando a eles a capacidade de compreenderem o mundo ao redor com uma visão mais ampla, como vimos.

Além disso, a lógica computacional permite que eles entendam computadores e aparelhos eletrônicos e consigam decifrar seu funcionamento, absorvendo as ideias envolvidas. Dessa forma, ao ver um app no celular, por exemplo, seu filho conseguirá entender como ele foi feito e analisar os aspectos em que os desenvolvedores pensaram.

Assim, estudantes desenvolvem a capacidade de chegar a soluções de forma autônoma e independente. Visto que descobrem como usar a internet para o aprendizado, passam a conhecer um mundo novo de oportunidades que podem explorar sozinhos.

Na vida profissional, isso será útil, pois eles poderão ser mais autodidatas e ajudar as empresas com demandas novas e tecnologias desconhecidas. Na vida pessoal, por sua vez, aprenderão a sair de situações difíceis com a própria inteligência.

Comunicação

Esse aprendizado também ajuda os alunos a se comunicarem. Aliás, ensina a eles o momento certo de pedir ajuda e expor suas ideias.

Se os pequenos tiverem problemas de timidez, podem superar essa dificuldade de forma prática, visto que a lógica ajuda a estruturar as opiniões e os pensamentos antes mesmo de falar, o que facilita a exposição.

Afinal, nos cursos relacionados ao assunto, os estudantes aprendem a importância de trabalhar em equipe para a construção de uma solução. Desse modo, entendem que alguns passos requerem mais pessoas envolvidas e conseguem transmitir as concepções ao grupo.

Aprendizado multidisciplinar

A lógica é um campo multidisciplinar, pois envolve matemática, computação e até mesmo filosofia. Por essa razão, mergulhar nessa área vai ajudar os pequenos a conhecerem assuntos sob diferentes pontos de vista e perspectivas. Isso será ainda mais útil para que eles expandam a visão e resolvam seus problemas de forma mais eficiente.

# data[].attributes.body
regras de referencia

# data[].attributes.attachment_link.readable_text
Obrigatória - 60 horas - 4 créditos
Pré-requisitos: nenhum
Professor Responsável: Alexandre Andreatta

Objetivos da Disciplina

Capacitar o aluno a utilizar as linguagens proposicional e de predicados para expressar conhecimento. Prepara o aluno para aplicar métodos de teste de consistência de conjuntos de proposições compostas ou de sentenças nas duas linguagens. Qualificar o aluno na demonstração a validade de argumentos. Habilitar o aluno a fazer demonstrações simples por indução matemática. Capacitar o aluno a reconhecer e realizar definições recursivas, e a calcular as formas fechadas de funções recursivas simples.

Ementa

Lógica proposicional e álgebra booleana. Lógica de predicados. Indução. Recursão.

Conteúdo Programático

Lógica Formal

Proposições, fórmulas bem formadas e Equivalências. Tautológicas. Formas Normais (Conjuntiva e Disjuntiva). Definição de interpretação. Tabela verdade e árvores de decisão.

Validade de Argumentos Proposicionais. Definição de Sistemas Formais. Completude e correção de sistemas formais.

Lógica Proposicional: Regras de inferência da dedução Natural. Regras adicionais. Regra da Resolução e uso de refutação.

Correlação entre Lógica Proposicional e Álgebra Booleana. Minimização de termos de funções booleanas na forma normal disjuntivas: mapas de Karnaugh e Algoritmo de Quine-McCluskey.

Quantificadores, Predicados e expressividade da linguagem de predicados com funções e sem funções no conjunto universo. Definição do conjunto de fórmulas da linguagem.

Definição de interpretação em Lógica de Predicados.

Definição de variáveis livres, sentenças, substituição de termos.

Equivalências tautológicas relativas a fórmulas com quantificadores.

Validade de Argumentos com Predicados.

Lógica de Predicados: regras de inferência compartilhadas com a lógica proposicional. Regras de inferência específicas: particularizações e generalizações universais e existenciais.

"Noções de Programação em Lógica" (não obrigatório).

Indução

Definição

Primeiro Princípio da Indução; Segundo Princípio da Indução

Demonstrações por indução

Recursão

Definições recursivas de conjuntos, seqüências, operações e algoritmos

Resolução de equações recursivas simples por expansão

Resolução de recursões lineares homogêneas (não obrigatório)

Máximo Divisor Comum, Algoritmo de Euclides

Metodologia

Aulas expositivas de conteúdo teórico, com a realização de exercícios ao longo das aulas.

Avaliação

São três ao longo do período constando dos assuntos ministrados até o momento da prova. Se esta média M for maior ou igual a 7,0 (sete) o aluno estará aprovado, caso contrário deverá realizar prova final (PF). Neste caso, a nota final será composta pela média entre PF e M. Se a média final for inferior a 5,0 (cinco) o aluno estará reprovado, sendo superior ou igual, estará aprovado.

Bibliografia Básica

ROSEN, Kenneth H., Matemática Discreta e suas Aplicações, 6ªEedição. São Paulo: Mc Graw Hill.

HUTH e RYAN, M., Lógica em Ciência da Computação - Modelagem e Argumentação Sobre Sistemas. LTC, 2008.

ENDERTON, H., A Mathematical Introduction to Logic. 2ª Ed., Harcourt/Academic Express, 2001.

Bibliografia Complementar

GERSTING, Judith L., Fundamentos Matemáticos para a Ciência da Computação. 5ªEed. ou superior. Rio de Janeiro: LTC.

CORREIA DA SILVA, F.S.,FINGER,M.,MELO,A.C.V., A Lógica para Computação. Editora Thomson.

CLOCKSIN, W.F., MELLISH,C.S., Programming in Prolog. 5th Ed., Springer, 2003.

SOUZA, João Nunes de. Lógica para Ciência da Computação: fundamentos de linguagem, semântica e sistemas de dedução. Editora Campus

# data[].attributes.attachment_link.title
Introdução à Lógica Computacional - TIN0105

# data[].attributes.attachment_link.description
Obrigatória - 60 horas - 4 créditos Pré-requisitos: nenhum Professor Responsável: Alexandre Andreatta Objetivos da Disciplina Capacitar o aluno a utilizar as linguagens proposicional e de predicados para expressar conhecimento. Prepara o aluno para aplicar métodos de teste de consistência de conjuntos de proposições compostas ou de sentenças nas duas linguagens.

# data[].attributes.body
Didatico