- O documento apresenta uma aula introdutória sobre Lógica de Predicados, incluindo seus objetivos, conceitos básicos, sintaxe e semântica. É apresentado o alfabeto, como formar fórmulas e exemplos de tradução para a linguagem lógica.
O documento apresenta uma introdução ao curso de Lógica Computacional ministrado por Diego Silveira Costa Nascimento no Instituto Federal do Rio Grande do Norte. A ementa do curso inclui tópicos como lógica proposicional, tabelas-verdade, implicação lógica e quantificadores. O objetivo é apresentar os conceitos básicos da lógica formal e discutir sua aplicação no raciocínio computacional e desenvolvimento de sistemas e programas.
Este documento apresenta uma aula introdutória sobre estatística ministrada pelo professor João Alessandro em julho de 2012, abordando a definição do tema e suas principais características.
Este documento apresenta um projeto de pesquisa sobre a parceria entre família e escola para a eficácia do processo de ensino-aprendizagem. O projeto será orientado pela Profa. MSc Eliete Barros e tem como objetivo investigar a importância da participação da família na escola no processo de ensino-aprendizagem. A pesquisa usará métodos qualitativos como revisão bibliográfica, pesquisa de campo com questionários, e análise dos dados.
- O documento apresenta um resumo de uma aula sobre Lógica Matemática, incluindo implicação lógica, regras de inferência e aviso sobre a avaliação da disciplina.
O documento explica a distribuição binomial, que calcula a probabilidade de obter um certo número de sucessos em uma série de experimentos independentes. Ele fornece exemplos de como calcular essas probabilidades para situações como lançar uma moeda ou jogos de futebol.
1) O documento introduz o conceito de ciência de dados, que envolve a coleta, transformação e armazenamento de dados, além da geração de informações e conhecimento a partir dos dados com o uso de técnicas de computação, estatística e domínios de aplicação.
2) A ciência de dados difere da ciência da computação ao tentar modelar saídas a partir de entradas de dados ao invés de definir funções exatas.
3) O curso abordará técnicas de coleta, análise e visual
O documento discute conceitos básicos de lógica, algoritmos e programação. Define lógica como a ciência do raciocínio e do pensamento formal. Explica que algoritmos são sequências de passos para resolver problemas e que programação é a codificação de algoritmos em linguagens de programação para serem executados por computadores. Também apresenta exemplos de linguagens como Pascal.
O documento introduz conceitos básicos de algoritmos e lógica de programação. Explica que algoritmos são sequências ordenadas de passos para resolver problemas. Apresenta um exemplo de algoritmo para troca de lâmpada queimada e várias versões com níveis diferentes de detalhamento dos passos.
O documento apresenta uma introdução ao curso de Lógica Computacional ministrado por Diego Silveira Costa Nascimento no Instituto Federal do Rio Grande do Norte. A ementa do curso inclui tópicos como lógica proposicional, tabelas-verdade, implicação lógica e quantificadores. O objetivo é apresentar os conceitos básicos da lógica formal e discutir sua aplicação no raciocínio computacional e desenvolvimento de sistemas e programas.
Este documento apresenta uma aula introdutória sobre estatística ministrada pelo professor João Alessandro em julho de 2012, abordando a definição do tema e suas principais características.
Este documento apresenta um projeto de pesquisa sobre a parceria entre família e escola para a eficácia do processo de ensino-aprendizagem. O projeto será orientado pela Profa. MSc Eliete Barros e tem como objetivo investigar a importância da participação da família na escola no processo de ensino-aprendizagem. A pesquisa usará métodos qualitativos como revisão bibliográfica, pesquisa de campo com questionários, e análise dos dados.
- O documento apresenta um resumo de uma aula sobre Lógica Matemática, incluindo implicação lógica, regras de inferência e aviso sobre a avaliação da disciplina.
O documento explica a distribuição binomial, que calcula a probabilidade de obter um certo número de sucessos em uma série de experimentos independentes. Ele fornece exemplos de como calcular essas probabilidades para situações como lançar uma moeda ou jogos de futebol.
1) O documento introduz o conceito de ciência de dados, que envolve a coleta, transformação e armazenamento de dados, além da geração de informações e conhecimento a partir dos dados com o uso de técnicas de computação, estatística e domínios de aplicação.
2) A ciência de dados difere da ciência da computação ao tentar modelar saídas a partir de entradas de dados ao invés de definir funções exatas.
3) O curso abordará técnicas de coleta, análise e visual
O documento discute conceitos básicos de lógica, algoritmos e programação. Define lógica como a ciência do raciocínio e do pensamento formal. Explica que algoritmos são sequências de passos para resolver problemas e que programação é a codificação de algoritmos em linguagens de programação para serem executados por computadores. Também apresenta exemplos de linguagens como Pascal.
O documento introduz conceitos básicos de algoritmos e lógica de programação. Explica que algoritmos são sequências ordenadas de passos para resolver problemas. Apresenta um exemplo de algoritmo para troca de lâmpada queimada e várias versões com níveis diferentes de detalhamento dos passos.
O documento descreve a técnica de teste de mesa para verificar algoritmos. Ele explica que o teste de mesa simula a execução de um algoritmo sem usar um computador, utilizando apenas papel e caneta. Também fornece instruções sobre como construir uma tabela para realizar o teste de mesa e preenchê-la com valores de variáveis ao longo da execução do algoritmo.
Este documento fornece uma introdução básica aos principais conceitos de informática, incluindo:
1) Uma breve história dos computadores desde as primeiras máquinas mecânicas até os PCs modernos;
2) Os componentes fundamentais de hardware e software que compõem um sistema de computador;
3) Conceitos-chave como sistema operacional e programas de aplicativo.
O documento discute a história e o estado atual da inteligência artificial. Ele começa definindo inteligência e descreve os primeiros estudos da área, incluindo o teste de Turing. Em seguida, discute os desafios atuais da IA, como reconhecimento de voz e visão, e mostra que a IA forte ainda é utópica, embora a IA fraca seja útil. Por fim, levanta questões éticas sobre o desenvolvimento futuro da inteligência artificial.
1) O documento descreve as etapas do método científico, incluindo observação, formulação de hipóteses, experimentação e generalização.
2) O método científico é descrito através do exemplo de Claude Bernard, que observou coelhos com urina ácida, formulou a hipótese de que estavam jejuando, e testou sua hipótese variando a dieta dos coelhos.
3) As etapas do método científico são observação, problematização, formulação de hipóteses, experimentação e generalização
Este documento fornece informações sobre a escrita científica. Resume os principais componentes de um relatório científico como o título, resumo, introdução, metodologia, resultados, conclusões e referências. Também discute as qualidades desejáveis de um texto científico como clareza, precisão, relevância e lógica. Por fim, fornece exemplos para ilustrar esses pontos.
O documento caracteriza os processos avaliativos de Educação Física durante o Estágio Curricular Supervisionado no Ensino Médio. Os resultados mostraram que as avaliações ocorrem entre uma e duas vezes, geralmente de forma prática e observacional, com foco no domínio de conteúdos e participação. Contudo, há pouca ênfase na avaliação nos cursos de formação e os estagiários tendem a reproduzir métodos ao invés de desenvolver práticas avaliativas contínuas.
O documento resume os principais tópicos sobre desenvolvimento de sistemas web, incluindo: (1) a diferença entre Internet e Web, como a Web usa a Internet para compartilhar hipertextos; (2) o modelo cliente-servidor e como ele funciona; (3) URLs e como elas localizam recursos na Web.
O documento discute os diferentes tipos de conhecimento, incluindo o conhecimento empírico, teológico, filosófico e científico. Explica que o conhecimento empírico é adquirido através da experiência, o conhecimento teológico é baseado na fé, o conhecimento filosófico é baseado na reflexão, e o conhecimento científico é sistemático e verificável. O documento fornece exemplos de cada tipo de conhecimento.
O documento apresenta diferentes formas de representação de algoritmos, incluindo descrição narrativa, fluxograma e pseudocódigo. Ele discute os benefícios e desvantagens de cada forma e fornece exemplos para ilustrar como algoritmos simples podem ser representados usando essas técnicas.
A apresentação sugere uma ordem de slides para projeto de pesquisa em pós-graduação, começando com título, autor e outros detalhes introdutórios, seguido por justificativa pessoal, social e acadêmica do projeto, definição do problema e contexto, referencial teórico, metodologia e cronograma de pesquisa.
O documento fornece instruções detalhadas sobre como estruturar e formatar um artigo científico de acordo com as normas ABNT. Ele explica os elementos obrigatórios e opcionais de um artigo e fornece diretrizes sobre a introdução, desenvolvimento, considerações finais e seções adicionais. Além disso, fornece detalhes sobre critérios de formatação como fontes, margens e estilo de numeração de páginas.
Expressão analítica de uma função quadráticaPaulo Mutolo
Este documento descreve como determinar a expressão analítica de uma função quadrática a partir de seus pontos. Ele explica que dados os pontos x1, x2 e um ponto auxiliar P, podemos usar a fórmula da alínea d para calcular os coeficientes a, b e c da função f(x) = ax2 + bx + c.
O documento apresenta 33 exercícios de algoritmos para serem resolvidos, variando em complexidade, desde operações matemáticas simples até cálculos com múltiplos parâmetros. Os exercícios abordam tópicos como entrada e saída de dados, condicionais, laços de repetição e funções.
O documento discute o que é lógica. A lógica procura compreender como pensamos de forma técnica e ensina a usar as leis do pensamento corretamente. A lógica é considerada uma ciência que organiza o pensamento corretamente e é usada no cotidiano sem perceber. Algoritmos são sequências de passos para resolver problemas.
Os três documentos fornecem exemplos de cronogramas de pesquisa com atividades divididas por meses ou períodos. Eles detalham as etapas de elaboração de projetos, pesquisa bibliográfica, coleta e análise de dados, redação de capítulos e relatórios finais.
O documento apresenta um resumo sobre lógica de programação ministrado por Andrei Bastos na UFES em 2014, abordando conceitos básicos como objetivos do curso, bibliografia, conceitos de algoritmo, formas de representação como fluxograma e variáveis.
Este documento define e descreve o texto expositivo-explicativo, incluindo seu objetivo de expor e explicar um conceito ou fenômeno de forma clara e lógica. Ele discute a organização em introdução, corpo e conclusão, além das características linguísticas como uso de presente do indicativo e vocabulário especializado. O texto visa transformar o estado cognitivo do leitor, informando-o de forma objetiva sobre um assunto.
O documento discute testes de hipóteses estatísticas, incluindo: (1) o teste de hipótese avalia inferências sobre uma população com base em uma amostra; (2) a teoria de Popper afirma que não se pode provar nada, apenas refutar hipóteses; (3) os principais conceitos incluem hipótese estatística, teste de hipótese e tipos de hipóteses.
Prolog é uma linguagem de programação lógica baseada nos princípios da lógica de predicados. O documento introduz os principais conceitos de Prolog, incluindo:
1) Fatos - afirmações sobre objetos do domínio representados como predicados de aridade;
2) Regras - cláusulas que definem novas relações em termos de outras já existentes;
3) Consultas - perguntas sobre os fatos e regras da base de conhecimento para verificar se uma afirmação é verdadeira.
Prolog é uma linguagem de programação lógica baseada nos princípios da lógica declarativa. O documento introduz os principais conceitos de Prolog, incluindo:
1) Fatos representam afirmações sobre objetos do domínio. 2) Regras definem novas relações em termos de outras relações. 3) Consultas verificam se uma afirmação é verdadeira baseado nos fatos e regras.
O documento descreve a técnica de teste de mesa para verificar algoritmos. Ele explica que o teste de mesa simula a execução de um algoritmo sem usar um computador, utilizando apenas papel e caneta. Também fornece instruções sobre como construir uma tabela para realizar o teste de mesa e preenchê-la com valores de variáveis ao longo da execução do algoritmo.
Este documento fornece uma introdução básica aos principais conceitos de informática, incluindo:
1) Uma breve história dos computadores desde as primeiras máquinas mecânicas até os PCs modernos;
2) Os componentes fundamentais de hardware e software que compõem um sistema de computador;
3) Conceitos-chave como sistema operacional e programas de aplicativo.
O documento discute a história e o estado atual da inteligência artificial. Ele começa definindo inteligência e descreve os primeiros estudos da área, incluindo o teste de Turing. Em seguida, discute os desafios atuais da IA, como reconhecimento de voz e visão, e mostra que a IA forte ainda é utópica, embora a IA fraca seja útil. Por fim, levanta questões éticas sobre o desenvolvimento futuro da inteligência artificial.
1) O documento descreve as etapas do método científico, incluindo observação, formulação de hipóteses, experimentação e generalização.
2) O método científico é descrito através do exemplo de Claude Bernard, que observou coelhos com urina ácida, formulou a hipótese de que estavam jejuando, e testou sua hipótese variando a dieta dos coelhos.
3) As etapas do método científico são observação, problematização, formulação de hipóteses, experimentação e generalização
Este documento fornece informações sobre a escrita científica. Resume os principais componentes de um relatório científico como o título, resumo, introdução, metodologia, resultados, conclusões e referências. Também discute as qualidades desejáveis de um texto científico como clareza, precisão, relevância e lógica. Por fim, fornece exemplos para ilustrar esses pontos.
O documento caracteriza os processos avaliativos de Educação Física durante o Estágio Curricular Supervisionado no Ensino Médio. Os resultados mostraram que as avaliações ocorrem entre uma e duas vezes, geralmente de forma prática e observacional, com foco no domínio de conteúdos e participação. Contudo, há pouca ênfase na avaliação nos cursos de formação e os estagiários tendem a reproduzir métodos ao invés de desenvolver práticas avaliativas contínuas.
O documento resume os principais tópicos sobre desenvolvimento de sistemas web, incluindo: (1) a diferença entre Internet e Web, como a Web usa a Internet para compartilhar hipertextos; (2) o modelo cliente-servidor e como ele funciona; (3) URLs e como elas localizam recursos na Web.
O documento discute os diferentes tipos de conhecimento, incluindo o conhecimento empírico, teológico, filosófico e científico. Explica que o conhecimento empírico é adquirido através da experiência, o conhecimento teológico é baseado na fé, o conhecimento filosófico é baseado na reflexão, e o conhecimento científico é sistemático e verificável. O documento fornece exemplos de cada tipo de conhecimento.
O documento apresenta diferentes formas de representação de algoritmos, incluindo descrição narrativa, fluxograma e pseudocódigo. Ele discute os benefícios e desvantagens de cada forma e fornece exemplos para ilustrar como algoritmos simples podem ser representados usando essas técnicas.
A apresentação sugere uma ordem de slides para projeto de pesquisa em pós-graduação, começando com título, autor e outros detalhes introdutórios, seguido por justificativa pessoal, social e acadêmica do projeto, definição do problema e contexto, referencial teórico, metodologia e cronograma de pesquisa.
O documento fornece instruções detalhadas sobre como estruturar e formatar um artigo científico de acordo com as normas ABNT. Ele explica os elementos obrigatórios e opcionais de um artigo e fornece diretrizes sobre a introdução, desenvolvimento, considerações finais e seções adicionais. Além disso, fornece detalhes sobre critérios de formatação como fontes, margens e estilo de numeração de páginas.
Expressão analítica de uma função quadráticaPaulo Mutolo
Este documento descreve como determinar a expressão analítica de uma função quadrática a partir de seus pontos. Ele explica que dados os pontos x1, x2 e um ponto auxiliar P, podemos usar a fórmula da alínea d para calcular os coeficientes a, b e c da função f(x) = ax2 + bx + c.
O documento apresenta 33 exercícios de algoritmos para serem resolvidos, variando em complexidade, desde operações matemáticas simples até cálculos com múltiplos parâmetros. Os exercícios abordam tópicos como entrada e saída de dados, condicionais, laços de repetição e funções.
O documento discute o que é lógica. A lógica procura compreender como pensamos de forma técnica e ensina a usar as leis do pensamento corretamente. A lógica é considerada uma ciência que organiza o pensamento corretamente e é usada no cotidiano sem perceber. Algoritmos são sequências de passos para resolver problemas.
Os três documentos fornecem exemplos de cronogramas de pesquisa com atividades divididas por meses ou períodos. Eles detalham as etapas de elaboração de projetos, pesquisa bibliográfica, coleta e análise de dados, redação de capítulos e relatórios finais.
O documento apresenta um resumo sobre lógica de programação ministrado por Andrei Bastos na UFES em 2014, abordando conceitos básicos como objetivos do curso, bibliografia, conceitos de algoritmo, formas de representação como fluxograma e variáveis.
Este documento define e descreve o texto expositivo-explicativo, incluindo seu objetivo de expor e explicar um conceito ou fenômeno de forma clara e lógica. Ele discute a organização em introdução, corpo e conclusão, além das características linguísticas como uso de presente do indicativo e vocabulário especializado. O texto visa transformar o estado cognitivo do leitor, informando-o de forma objetiva sobre um assunto.
O documento discute testes de hipóteses estatísticas, incluindo: (1) o teste de hipótese avalia inferências sobre uma população com base em uma amostra; (2) a teoria de Popper afirma que não se pode provar nada, apenas refutar hipóteses; (3) os principais conceitos incluem hipótese estatística, teste de hipótese e tipos de hipóteses.
Prolog é uma linguagem de programação lógica baseada nos princípios da lógica de predicados. O documento introduz os principais conceitos de Prolog, incluindo:
1) Fatos - afirmações sobre objetos do domínio representados como predicados de aridade;
2) Regras - cláusulas que definem novas relações em termos de outras já existentes;
3) Consultas - perguntas sobre os fatos e regras da base de conhecimento para verificar se uma afirmação é verdadeira.
Prolog é uma linguagem de programação lógica baseada nos princípios da lógica declarativa. O documento introduz os principais conceitos de Prolog, incluindo:
1) Fatos representam afirmações sobre objetos do domínio. 2) Regras definem novas relações em termos de outras relações. 3) Consultas verificam se uma afirmação é verdadeira baseado nos fatos e regras.
O documento discute os seguintes tópicos: (1) introdução à inteligência artificial e agentes inteligentes; (2) agentes lógicos baseados em conhecimento que usam lógica proposicional e de primeira ordem para representar e raciocinar sobre informações; (3) planejamento clássico para encontrar sequências de ações que levem de um estado inicial a um estado objetivo.
O documento resume as principais características da linguagem Prolog. Em 1) Prolog é uma linguagem declarativa que define fatos e relações sobre um problema. 2) Foi criada em 1971 para processamento de linguagens naturais. 3) Pode ser usada em lógica matemática, bancos de dados e jogos.
Lógica e Matemática Computacional - Aula 01thomasdacosta
O documento apresenta o professor Thomás da Costa, ministrando a disciplina de Lógica e Matemática Computacional. Apresenta sua formação acadêmica e experiência profissional, além de fornecer informações sobre o conteúdo programático e avisos aos alunos.
O documento apresenta conceitos básicos de lógica matemática, incluindo proposições, conectivos lógicos, tabelas-verdade e argumentos válidos. Também aborda números decimais, sequências e estatística descritiva.
Este documento fornece uma introdução às noções básicas de lógica matemática, com foco em:
1) Definições de proposições, proposições simples e compostas.
2) Apresentação dos principais conectivos lógicos - negação, conjunção, disjunção e condicional - e suas respectivas tabelas-verdade.
3) Exemplos ilustrativos sobre como determinar o valor lógico de proposições compostas usando as tabelas-verdade.
O documento serve como material
O documento introduz conceitos básicos de lógica na filosofia e computação. A lógica é estudada como forma de raciocínio correto e como organização de instruções em algoritmos. A lógica formal se concentra na forma do raciocínio independente do conteúdo, enquanto a lógica material considera a verdade do conteúdo.
Este documento fornece um resumo da sintaxe e semântica da linguagem Prolog. Apresenta os principais elementos da linguagem como átomos, números, variáveis, estruturas e unificação. Explica como a sintaxe especifica os tipos de objetos e como a semântica define o significado desses objetos e suas relações por meio do processo de unificação.
O documento apresenta o programa para o curso de Lógica para Programação em Prolog, cobrindo conceitos básicos, lógica proposicional e de primeira ordem usando sistemas dedutivos e de resolução, programação lógica e Prolog, e exemplos iniciais. Os tópicos incluem sintaxe de Prolog, unificação, comparação e expressões aritméticas de termos, listas, leitura e escrita de termos.
O documento apresenta uma introdução aos conceitos básicos de lógica de programação, incluindo: (1) a definição de lógica para a filosofia e computação, (2) os tipos de raciocínio lógico como dedutivo e indutivo, (3) variáveis, constantes, algoritmos e fluxogramas como elementos essenciais da lógica de programação.
Sugestão de sequencia didatica às professorasSolange Goulart
Este documento apresenta uma proposta de sequência didática para professores do 1o ano focada em coleções de objetos. A atividade abordará conceitos matemáticos como números e operações e grandezas e medidas, além de desenvolvimento da língua portuguesa com foco em alfabetização, análise linguística e produção de textos. O trabalho será desenvolvido ao longo de semanas com atividades que visam a apropriação dos conceitos pelos alunos.
Sugestão de sequencia didatica às professorasSolange Goulart
Este documento apresenta uma proposta de sequência didática para professores do 1o ano focada em coleções de objetos. A atividade abordará conceitos matemáticos como números e operações e grandezas e medidas, bem como aspectos da língua portuguesa como análise linguística, produção de textos e oralidade. As atividades serão desenvolvidas ao longo de semanas e incluirão tarefas como apresentação de coleções, construção de um alfabeto com objetos e produção de listas e textos.
Este documento discute dois paradigmas de ensino de matemática: o paradigma do exercício e os cenários para investigação. O paradigma do exercício enfatiza a resolução de problemas isolados e a memorização, enquanto os cenários para investigação usam situações do mundo real para promover a aprendizagem ativa e colaborativa. O documento fornece exemplos de situações-problema que poderiam ser usadas em cenários de investigação e discute as vantagens deste enfoque sobre o tradicional.
LIVRO PROPRIETÁRIO - MATEMÁTICA APLICADA A COMPUTAÇÃOOs Fantasmas !
Este documento apresenta os conceitos fundamentais da teoria de conjuntos, incluindo:
1) Definição de conjunto, elementos e representações como listagem, descrição e diagrama de Venn;
2) Tipos especiais de conjuntos como subconjuntos;
3) Operações elementares em conjuntos como união, interseção, diferença e complementar.
Introdução a Programação em Lógica e Prologelliando dias
O documento apresenta uma introdução à programação lógica em Prolog. Resume os principais conceitos da lógica de predicados de primeira ordem e como ela é operacionalizada na linguagem Prolog, permitindo a programação declarativa com base em regras lógicas.
O documento introduz os principais conceitos de lógica e lógica de programação. Em particular, define o que é lógica, explora os princípios da lógica clássica e diferentes tipos de lógicas. Também define o que é lógica de programação e conceitos-chave como operadores lógicos, algoritmos e fluxogramas.
O documento apresenta uma aula introdutória sobre lógica matemática. A aula discute conceitos como proposições, argumentação, silogismos, falácias e classificação de problemas. O professor também apresenta a importância da lógica no cotidiano e define o que é lógica.
fundamentos da Lógica - JOÃO NUNES de SOUZA.pdfGeovana Thiara
1. O documento apresenta uma introdução concisa sobre os fundamentos da Lógica para Ciência da Computação e áreas afins.
2. Ele discute definições de Lógica, razões para estudá-la e seu contexto no ensino de graduação.
3. O livro é organizado em duas partes, cobrindo Lógica Proposicional e Lógica de Predicados, seguindo os passos de especificação da linguagem, semântica, métodos para verificar propriedades e sistemas formais de dedução.
Atividade letra da música - Espalhe Amor, Anavitória.Mary Alvarenga
A música 'Espalhe Amor', interpretada pela cantora Anavitória é uma celebração do amor e de sua capacidade de transformar e conectar as pessoas. A letra sugere uma reflexão sobre como o amor, quando verdadeiramente compartilhado, pode ultrapassar barreiras alcançando outros corações e provocando mudanças positivas.
REGULAMENTO DO CONCURSO DESENHOS AFRO/2024 - 14ª edição - CEIRI /UREI (ficha...Eró Cunha
XIV Concurso de Desenhos Afro/24
TEMA: Racismo Ambiental e Direitos Humanos
PARTICIPANTES/PÚBLICO: Estudantes regularmente matriculados em escolas públicas estaduais, municipais, IEMA e IFMA (Ensino Fundamental, Médio e EJA).
CATEGORIAS: O Concurso de Desenhos Afro acontecerá em 4 categorias:
- CATEGORIA I: Ensino Fundamental I (4º e 5º ano)
- CATEGORIA II: Ensino Fundamental II (do 6º ao 9º ano)
- CATEGORIA III: Ensino Médio (1º, 2º e 3º séries)
- CATEGORIA IV: Estudantes com Deficiência (do Ensino Fundamental e Médio)
Realização: Unidade Regional de Educação de Imperatriz/MA (UREI), através da Coordenação da Educação da Igualdade Racial de Imperatriz (CEIRI) e parceiros
OBJETIVO:
- Realizar a 14ª edição do Concurso e Exposição de Desenhos Afro/24, produzidos por estudantes de escolas públicas de Imperatriz e região tocantina. Os trabalhos deverão ser produzidos a partir de estudo, pesquisas e produção, sob orientação da equipe docente das escolas. As obras devem retratar de forma crítica, criativa e positivada a população negra e os povos originários.
- Intensificar o trabalho com as Leis 10.639/2003 e 11.645/2008, buscando, através das artes visuais, a concretização das práticas pedagógicas antirracistas.
- Instigar o reconhecimento da história, ciência, tecnologia, personalidades e cultura, ressaltando a presença e contribuição da população negra e indígena na reafirmação dos Direitos Humanos, conservação e preservação do Meio Ambiente.
Imperatriz/MA, 15 de fevereiro de 2024.
Produtora Executiva e Coordenadora Geral: Eronilde dos Santos Cunha (Eró Cunha)
Slides Lição 11, Central Gospel, Os Mortos Em CRISTO, 2Tr24.pptxLuizHenriquedeAlmeid6
Slideshare Lição 11, Central Gospel, Os Mortos Em Cristo, 1Tr24, Pr Henrique, EBD NA TV, Revista ano 11, nº 1, Revista Estudo Bíblico Jovens E Adultos, Central Gospel, 2º Trimestre de 2024, Professor, Tema, Os Grandes Temas Do Fim, Comentarista, Pr. Joá Caitano, estudantes, professores, Ervália, MG, Imperatriz, MA, Cajamar, SP, estudos bíblicos, gospel, DEUS, ESPÍRITO SANTO, JESUS CRISTO, Com. Extra Pr. Luiz Henrique, 99-99152-0454, Canal YouTube, Henriquelhas, @PrHenrique
Atividades de Inglês e Espanhol para Imprimir - AlfabetinhoMateusTavares54
Quer aprender inglês e espanhol de um jeito divertido? Aqui você encontra atividades legais para imprimir e usar. É só imprimir e começar a brincar enquanto aprende!
1. LÓGICA MATEMÁTICA
CURSO: Sistemas de Informação
1º PERÍODO
CENTRO UNIVERSITÁRIO – CESMAC FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS - FACET
2. Objetivo da Aula
•A aula de hoje tem como objetivo uma introdução sobre a Lógica de Predicados
•Assim, uma introdução sobre a linguagem da Lógica de Predicados
LÓGICA MATEMÁTICA
2
4. Conteúdo Programático
•Lógica Proposicional:
–Sintaxe
–Semântica
–Propriedades Semânticas
–Método para determinação da validade de fórmulas
•Lógica de Predicados:
–Sintaxe
–Semântica
–Propriedades Semânticas
–Resolução.
LÓGICA MATEMÁTICA
4
5. Introdução
•O que lhe lembram Predicado?
–Uma regra da nossa gramática
–Análise Sintática
–Sujeito, Verbo, Predicado...
•Ao iniciar uma análise simples do sujeito e o verbo.
–Ex.: João trabalha
Pedro estuda
LÓGICA MATEMÁTICA
5
6. Introdução
•Sujeito - Elemento da oração a respeito do qual damos alguma informação. Seu núcleo (palavra mais importante) pode ser um substantivo, pronome ou palavra substantivada.
•Tipos de sujeitos:
–Simples
–Composto
–Oculto, elíptico ou desinencial
–Indeterminado
–Inexistente ou oração sem sujeito
LÓGICA MATEMÁTICA
6
7. Introdução
•Verbo - é a palavra que exprime um fato (geralmente uma ação, estado ou fenômeno da natureza) e localiza-o no tempo, usados também para ligar o sujeito ao predicado.
•Predicado - É tudo aquilo que se informa sobre o sujeito, e é estruturado em torno de um verbo. Ele sempre concorda em número e pessoa com o sujeito.
•Há também tipos de predicados, mas não são relevantes para nós.
LÓGICA MATEMÁTICA
7
8. Introdução
•Exemplos:
–João é pardo.
Sujeito + predicado
–Mário e Mauro são irmãos.
Sujeito + Conjunção + Sujeito + Predicado
–Eu estou feliz.
Sujeito + Predicado
LÓGICA MATEMÁTICA
8
9. Conceito
•É mais rica do que a Lógica Proposicional
•Além de conter objetos da Proposicional, mais quantificadores, símbolos funcionais e de predicados fazem parte
•Comentam ser uma extensão da Lógica Proposicional
•Mas, afinal, por que?
LÓGICA MATEMÁTICA
9
10. Conceito
•Também denominada Lógica de Primeira Ordem
•Há uma analogia e semelhança mais próxima à realidade da computação
•Ainda, na Lógica Proposicional são limitados os quantificadores e objetos
LÓGICA MATEMÁTICA
10
11. Conceito
“Todo aluno de Análise de Sistema é nerd. João é aluno de Análise de Sistema. Logo, João é nerd.”
“Qualquer um para a lateral direita.”
•Existe quantificadores para “todo” e “qualquer”?
•São consideradas também funções, predicados e variáveis, de forma análoga ao Cálculo diferencial
LÓGICA MATEMÁTICA
11
12. Alfabeto
•Símbolos de pontuação: ,
•Símbolo de verdade: true ou false
•Conjunto enumerável de símbolos para variáveis: x, y, z...
•Conjunto enumerável de símbolos para funções: f, g, h
•Conjunto enumerável de símbolos para predicados: p, q, r, p2, q2, r2....
LÓGICA MATEMÁTICA
12
13. Fórmulas
•Muitos dos elementos da Lógica proposicional foram incorporados
•Existem infinitos símbolos
•As fórmulas são formadas por:
a)variáveis
b)Funções e predicados
c)constantes
d)conectivos
LÓGICA MATEMÁTICA
13
14. Fórmulas
a) Variáveis
•Sintaticamente iguais às constantes
•Análogo a linguagens de programação
Exemplo: x, y, z
b) Funções
Semelhante a função em programação, recebe um ou mais argumentos e produz uma resposta, um elemento do domínio como um número ou um objeto.
Exemplo: soma(x,y)
LÓGICA MATEMÁTICA
14
15. Fórmulas
Ex.: +(3,4)
pai_de(João)
Predicados
Semelhante a uma função em programação com resposta booleana, a resposta será sempre verdadeiro ou falo. Utilizado para representar relações
•Exemplo: irmao(x, y), pai(x,y), vizinho(x,y)
LÓGICA MATEMÁTICA
15
16. Fórmulas
c) Constantes
•Dão nomes as coisas particulares
•Exemplo: Rubens, Brasília, Arapiraca
d) Conectivos
LÓGICA MATEMÁTICA
16
17. Fórmulas
•Como na lógica proposicional, liga-se as sentenças atômicas com os conectivos : e, ou, se...então, não, se e somente.
•Com os quantificadores e variáveis se aplica o mesmo princípio
•Na tradução:
João gosta de Maria e ela o adora.
gosta(João, Maria) ^ adora(Maria, João).
LÓGICA MATEMÁTICA
17
18. Fórmulas
•O tratamento de pronomes é muito relevante na formação das fórmulas
•“algo”, “todo mundo”, “nada”, “ele”, “ela”...
•Se os pronomes estão ligados por um conectivo trate-os antes do conectivo.
LÓGICA MATEMÁTICA
18
19. Fórmulas
•Simbolização
–x, y, z, ...
Minúsculas para os sujeitos
–P, Q, R, ...
Maiúsculas para os predicados
–Ex.: João é professor
a = João
P = professor
Pa
LÓGICA MATEMÁTICA
19
20. Fórmulas
–Ex. 2:
–Existem sábios
∃x .sábios(x)
-Todos os homens são sábios
∀x = Todos os
∀x.homens(x). Sx.sábios(x)
LÓGICA MATEMÁTICA
20
22. Fórmulas
–Ex.:
Há pelo menos um objeto humano e sábio
∃x.(humano(x) ^ sábio(x))
*Como regra geral, pode-se dizer que
∀ se faz acompanhado de ->
∃ se faz acompanhado de .
•Por que isso?
LÓGICA MATEMÁTICA
22
23. Fórmulas
•Todos os homens são sábios
•Consequência:
–Dado um objeto qualquer, se é humano, é sábio
–Dado um x qualquer do universo, se x é homem, x é sábio
–Dado um x qualquer do universo, x homem -> x sábio
∀x(Hx -> Sx)
LÓGICA MATEMÁTICA
23
24. Fórmulas
•Exemplos
–Os astronautas são bem treinados.
∀x(Ax -> Tx)
–Alguns senhores são ingênuos ou mal assessorados
∀x(Ix v Mx)
LÓGICA MATEMÁTICA
24
25. Exercícios
•Traduza as frases para a fórmula de lógica de predicados.
a)Todo professor é funcionário
b)Alguns alunos são funcionários
c)Se alguém matou Maria, este alguém também matou João
d)Todo número primo maior do que 2 é ímpar
LÓGICA MATEMÁTICA
25
26. E na próxima aula...
•Continuaremos os conceitos básicos de lógica...
LÓGICA MATEMÁTICA
26
27. E por hoje...
LÓGICA MATEMÁTICA
27
•Obrigado!
•Até a próxima aula!
•Não esqueçam de assinar a lista de presença!