Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Tamanho: px
Começar a partir da página:

Download "Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani"

Transcrição

1 Preliminares, cap. 3 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1

2 1 Linguagens linguagem: sistema de símbolos que serve como meio de comunicação (p. 31) articial natural: isso não se restringe à comunicação entre humanos: hoje em dia existem dezenas de linguagens de programação, que, poderíamos dizer, servem também para comunicar instruções de um humano a uma máquina. Estas seriam exemplos de linguagens articiais, ao contrário do português, inglês, e assim por diante, que são as chamadas linguagens naturais, ou línguas. (p. 31) conjunto de sentenças: Uma linguagem também pode ser denida como um `conjunto (nito ou innito) de sentenças, cada uma de comprimento nito e formada a partir de um conjunto nito de símbolos (Chomsky, 1957, p. 13)' (p. 31) 2

3 elementos básicos: conjunto nito de elementos básicos, com os quais formamos diferentes tipos de expressões linguísticas, como palavras e sentenças. (ps. 3132) primeiro nível sintaxe: Há três níveis em que se pode estudar uma linguagem. O primeiro deles corresponde à sintaxe, que se ocupa com o aspecto estrutural dos objetos linguísticos. (p. 32) A sintaxe, assim, ca num nível puramente formal ela se ocupa das relações formais entre os símbolos da linguagem, a maneira pela qual os símbolos se combinam e não diz nada a respeito dos signicados. (p. 32) 3

4 segundo nível semântica: A semântica se ocupa dos signicados das expressões linguísticas, isto é, das relações entre expressões linguísticas e seus signicados coisas que estão `fora' da linguagem. (p. 32) terceiro nível pragmática: Uma terceira dimensão é a pragmática, que estuda o uso das construções linguísticas pelos falantes de uma língua. (p. 32) Está muito quente aqui Abra a janela, por favor 4

5 2 Linguagens articiais gramática rigorosa e imutável: uma linguagem articial tem uma gramática rigorosamente denida, que não se altera com o passar do tempo. (p. 33) linguagem formal: a lógica faz uso dessas linguagens, também chamadas de linguagens formais. As razões são as de que, tendo as linguagens articiais uma gramática precisa, sempre se pode dizer se uma expressão da linguagem é gramatical ou não (o que é frequentemente difícil com as linguagens naturais como o português). (p. 33) Leibniz ( ): lingua philosophica, ou characteristica universalis, e calculus ratiocinator 5

6 alfabeto + gramática: Uma linguagem articial consiste em um conjunto de símbolos básicos, ou caracteres, chamados de alfabeto da linguagem, junto com uma gramática (ou regras de formação), um conjunto de regras que dizem como combinar estes símbolos para formar as expressões bem-formadas da linguagem, como os termos e as fórmulas. (p. 34) 6

7 3 Uso e menção usamos expressões linguísticas para falar de coisas e de pessoas. Por exemplo, uso a palavra `Sócrates' para falar do lósofo Sócrates, quando quero dizer que Sócrates era um lósofo grego que foi mestre de Platão. Uma expressão linguística, contudo além de ser usada para falar de certas coisas, pode também ser mencionada, isto é, pode-se falar a respeito dela. Para que isso que mais claro considere os exemplos abaixo: Miau é um gato. (1) `Miau' tem quatro letras. (2) Na sentença (1), a palavra `Miau' está sendo usada para falar do próprio Miau, armando que ele é um gato. Na sentença (2), por outro lado, não estamos mais falando de Miau, mas da palavra que é o nome de Miau, dizendo, dessa palavra, que ela tem quatro letras. Dito de outra forma, enquanto em (1) a palavra `Miau' está sendo usada, em (2) ela está sendo mencionada. (ps. 3435) 7

8 3.1 Nomes de expressões aspas simples nomes de expressões: para falar da palavra `gato', precisamos usar seu nome, que é simplesmente obtido colocando-se aspas simples ao redor da palavra em questão: `gato'. (p. 35) nome de sentença: O nome de Miau é `Miau'. O none de `Miau' é Miau. Quando queremos dizer, por exemplo, que uma certa sentença é verdadeira, não estamos usando a sentença estamos falando dela e, para tanto, devemos usar seu nome, que é obtido colocando-se a dita sentença entre aspas. Como abaixo: `A neve é branca' é verdadeira. (3) ` `A neve é branca' é verdadeira' é uma sentença do português. (4) A sentença (3) fala a respeito de outra sentença, a saber, `A neve é branca', dizendo dela que é verdadeira. Do mesmo modo, (4) fala a respeito de (3), armando desta que é uma sentença do português. (p. 36) 8

9 3.2 Uma simplicação Quando tratamos de símbolos de linguagens articiais, existe uma outra maneira de formar nomes, muito usada em textos de lógica e matemática. Para evitar o uso excessivo de aspas, constuma-se convencionar que os símbolos, bem como as expressões construídas com eles são também seus próprios nomes. (p. 38) 9

10 4 Linguagem-objeto e metalinguagem Considere agora a sentença abaixo: `The cat is on the mat' é uma sentença em inglês. Aqui estamos, em português, falando sobre uma sentença do inglês. Para usar uma distinção introduzida por Alfred Tarski em 1931, o inglês neste caso está sendo uma linguagem-objeto (isto é, a linguagem da qual se fala), enquanto o português está sendo uma metalinguagem (a linguagem com a qual se fala). [língua para falar de língua] 10

11 5 O uso de variáveis (x + y) 2 = x 2 + 2xy + y 2 indivíduos de um certo domínio: o que são essas coisas que aparecem aí, `x' e `y'? Obviamente não são o nome de algum número em particular (como `4' é o nome de 4), mas indicam indivíduos de um certo domínio: as letras x e y podem ser usadas para falar de dois números naturais quaisquer. (p. 40) o uso de variáveis permite a você fazer generalizações de uma forma inteligível. (p. 40) 11

12 substituendos e valores: Ao usar variáveis, há duas coisa que devem ser esclarecidas: (i) quais são as expressões que podem ser colocadas em seu lugar, ou seja, quais são as expressões pelas quais podemos substituir uma variável os substituendos; e (ii) quais são os valores que uma variável pode tomar, isto é qual é o seu domínio de variações. (ps. 4041) variável incógnita: 2y = 2x + 2 3y = 4x + 8 x = 5 e y = 4 12

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani

Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani Interpretações, cap. 8 de Introdução à Lógica (Mortari 2001) Luiz Arthur Pagani 1 1 Signicado e verdade condições para verdadeiro ou falso: Como um argumento é (intuitivamente) válido se não é possível

Leia mais

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.

Um alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ. Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem

Leia mais

Definições Exemplos de gramáticas

Definições Exemplos de gramáticas Definições Exemplos de gramáticas 1 Gramáticas Conceito introduzido pela lingüística Objetivo de ensinar o inglês pelo computador e conseguir um tradutor de línguas Fracasso da tradução por volta dos anos

Leia mais

Mundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani

Mundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Mundos sucientes e tempo, aula 2 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani 1 Que tipo de estrutura de modelos é apropriada ou adequada para as línguas naturais? (p. 15) gramática

Leia mais

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos Linguagens Formais e Autômatos Prof. Yandre Maldonado - 1 Prof. Yandre Maldonado e Gomes da Costa Introdução Problema: definir um conjunto de cadeias de símbolos; Prof. Yandre Maldonado - 2 Exemplo: conjunto

Leia mais

Afirmações Matemáticas

Afirmações Matemáticas Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,

Leia mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens Formais e Autômatos P. Blauth Menezes Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes

Leia mais

Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof. Jefferson Morais

Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof. Jefferson Morais UNIVERSIDADE FEDERAL DO PARÁ INSTITUTO DE CIÊNCIAS EXATAS E NATURAIS FACULDADE DE COMPUTAÇÃO CURSO DE BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO Disciplina: LINGUAGENS FORMAIS, AUTÔMATOS E COMPUTABILIDADE Prof.

Leia mais

Aula 2: Linguagem Proposicional

Aula 2: Linguagem Proposicional Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.

Leia mais

I.2 Introdução a Teoria da Computação

I.2 Introdução a Teoria da Computação I.2 Introdução a Teoria da Computação O que é? Fundamento da Ciência da Computação Tratamento Matemático da Ciência da Computação Estudo Matemático da Transformação da Informação Qual sua importância?

Leia mais

Processamento de Linguagem Natural

Processamento de Linguagem Natural Processamento de Linguagem Natural Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Introdução Processamento de de linguagem natural (PLN)

Leia mais

TEORIA 6: EQUAÇÕES E SISTEMAS DO 2º GRAU MATEMÁTICA BÁSICA

TEORIA 6: EQUAÇÕES E SISTEMAS DO 2º GRAU MATEMÁTICA BÁSICA TEORIA 6: EQUAÇÕES E SISTEMAS DO 2º GRAU MATEMÁTICA BÁSICA Nome: Turma: Data / / Prof: Walnice Brandão Machado Equações de 2º grau Definições Denomina-se equação do 2º grau na incógnita x, toda equação

Leia mais

Aula 6 GERATIVISMO. MARTELOTTA, Mário Eduardo. Manual de Linguística. São Paulo: Contexto, 2012, p

Aula 6 GERATIVISMO. MARTELOTTA, Mário Eduardo. Manual de Linguística. São Paulo: Contexto, 2012, p Aula 6 GERATIVISMO MARTELOTTA, Mário Eduardo. Manual de Linguística. São Paulo: Contexto, 2012, p. 113-126 Prof. Cecília Toledo- cissa.valle@hotmail.com Linguística Gerativa Gerativismo Gramática Gerativa

Leia mais

Autômatos e Linguagens

Autômatos e Linguagens Autômatos e Linguagens Eduardo Ferreira dos Santos Ciência da Computação Centro Universitário de Brasília UniCEUB Agosto, 2016 1 / 41 Sumário 1 Compiladores 2 Linguagens de programação 3 Ciência dos compiladores

Leia mais

IME, UFF 3 de junho de 2014

IME, UFF 3 de junho de 2014 Lógica IME, UFF 3 de junho de 2014 Sumário A lógica formal e os principais sistemas A lógica formal Um dos objetivos da lógica formal é a mecanização do raciocínio, isto é, a obtenção de nova informação

Leia mais

Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens

Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens Procedimentos e Algorítmos Programas e Linguagens de Programação Tese de Church-Turing Formas de Representação de Linguagens 1 Introdução Estudar computação do ponto de vista teórico é sinônimo de caracterizar

Leia mais

Gramática e seu conceito. Mattoso Câmara Jr. (1986) 16 ed. Estrutura da língua portuguesa. Petrópolis: Vozes. p

Gramática e seu conceito. Mattoso Câmara Jr. (1986) 16 ed. Estrutura da língua portuguesa. Petrópolis: Vozes. p Gramática e seu conceito Mattoso Câmara Jr. (1986) 16 ed. Estrutura da língua portuguesa. Petrópolis: Vozes. p.11-16. Gramática descritiva ou sincrônica Estudo do mecanismo pelo qual uma dada língua funciona

Leia mais

Apostila 01 Fundamentação da Teoria da Computação e Linguagens Formais

Apostila 01 Fundamentação da Teoria da Computação e Linguagens Formais Cursos: Bacharelado em Ciência da Computação e Bacharelado em Sistemas de Informação Disciplinas: (1493A) Teoria da Computação e Linguagens Formais, (4623A) Teoria da Computação e Linguagens Formais e

Leia mais

Compiladores. Eduardo Ferreira dos Santos. Fevereiro, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 38

Compiladores. Eduardo Ferreira dos Santos. Fevereiro, Ciência da Computação Centro Universitário de Brasília UniCEUB 1 / 38 Compiladores Eduardo Ferreira dos Santos Ciência da Computação Centro Universitário de Brasília UniCEUB Fevereiro, 2017 1 / 38 Sumário 1 Compiladores 2 Linguagens de programação 3 Ciência dos compiladores

Leia mais

Pensamento e linguagem

Pensamento e linguagem Pensamento e linguagem Função da linguagem Comunicar o pensamento É universal (há situações que nem todos sabem fazer), mas todos se comunicam Comunicação verbal Transmissão da informação Características

Leia mais

LINGUAGENS FORMAIS E AUTÔMATOS

LINGUAGENS FORMAIS E AUTÔMATOS LINGUAGENS FORMAIS E AUTÔMATOS O objetivo deste curso é formalizar a idéia de linguagem e definir os tipos de sintaxe e semântica. Para cada sintaxe, analisamos autômatos, ue são abstrações de algoritmos.

Leia mais

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores

2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores 1 LIVRO Conectivos e Quantificadores Lógicos META: Introduzir os conectivos e quantificadores lógicos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Compreender a semântica dos conectivos

Leia mais

Processamento de Linguagem Natural

Processamento de Linguagem Natural Processamento de Linguagem Natural Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo Introdução Processamento de de linguagem natural (PLN)

Leia mais

Universidade Federal de Alfenas

Universidade Federal de Alfenas Universidade Federal de Alfenas Linguagens Formais e Autômatos Aula 04 Linguagens Formais humberto@bcc.unifal-mg.edu.br Última aula... Relação da teoria dos conjuntos com LFA; Relação dos grafos com LFA.

Leia mais

LINGUAGENS FORMAIS Definições. Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam

LINGUAGENS FORMAIS Definições. Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam Linguagens Naturais LINGUAGENS FORMAIS Definições Desenvolveram-se na História em função da necessidade dos grupos humanos que as empregavam São muito ricas, mas também ambíguas e imprecisas. Ex.: João

Leia mais

Lógica Proposicional Parte 2

Lógica Proposicional Parte 2 Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas

Leia mais

Professora: Jéssica Nayra Sayão de Paula

Professora: Jéssica Nayra Sayão de Paula Professora: Jéssica Nayra Sayão de Paula Conceitos básicos e importantes a serem fixados: 1- Sincronia e Diacronia; 2- Língua e Fala 3- Significante e Significado 4- Paradigma e Sintagma 5- Fonética e

Leia mais

Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática

Linguagens Formais. Aula 01 - Conceitos Básicos. Prof. Othon Batista Mestre em Informática Linguagens Formais Aula 01 - Conceitos Básicos Prof. Othon Batista Mestre em Informática Sumário Introdução à Linguagem Alfabeto Cadeias de Símbolos, Palavras Tamanho de Palavra Prefixo, Sufixo ou Subpalavra

Leia mais

Lógica Proposicional Sintaxe

Lógica Proposicional Sintaxe Lógica Proposicional Sintaxe José Gustavo de Souza Paiva Lógica Proposicional Forma mais simples da lógica Fatos do mundo real representados por sentenças sem argumento proposições Proposição Sentença

Leia mais

LÓGICA I. André Pontes

LÓGICA I. André Pontes LÓGICA I André Pontes 1. Conceitos fundamentais O que é a Lógica? A LÓGICA ENQUANTO DISCIPLINA Estudo das leis de preservação da verdade. [Frege; O Pensamento] Estudo das formas válidas de argumentos.

Leia mais

MARÇO MATUTINO Estudo dirigido de Espanhol: 102, 202, 301, 302 Conteúdo:

MARÇO MATUTINO Estudo dirigido de Espanhol: 102, 202, 301, 302 Conteúdo: MARÇO Dia 01 02 03 MATUTINO Estudo dirigido de Espanhol: 102, 202, 301, 302 Caderno Avaliação de História: 8º Anos Avaliação de Português: 6º Ano A e B Compreensão de texto; Linguagem comunicação; Fala

Leia mais

Aula 11 Desenvolvimento da linguagem: emergência da sintaxe (parte 2)

Aula 11 Desenvolvimento da linguagem: emergência da sintaxe (parte 2) Aula 11 Desenvolvimento da linguagem: emergência da sintaxe (parte 2) Pablo Faria HL422A Linguagem e Pensamento: teoria e prática Módulo 1: Aquisição da Linguagem IEL/UNICAMP 5 de outubro de 2016 SUMÁRIO

Leia mais

Conceitos Básicos. Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem

Conceitos Básicos. Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem Conceitos Básicos Vocabulário Cadeias Linguagens Expressões Regulares Problema X Linguagem Alfabeto ou Vocabulário: Conjunto finito não vazio de símbolos. Símbolo é um elemento qualquer de um alfabeto.

Leia mais

INSTITUTO MACHADO DE ASSIS Seriedade, compromisso e competência.

INSTITUTO MACHADO DE ASSIS Seriedade, compromisso e competência. CARGO: PROFESSOR DE ARTES D A B C D A D B B A B B C B B A A B C D CARGO: PROFESSOR DE CIÊNCIAS D A B C D D A A B A C B D C D C C D C B CARGO: PROFESSOR DE EDUCAÇÃO FÍSICA D A B C D C B A D D D A D C A

Leia mais

Tema: (i) Introdução ao curso de sintaxe do português de base gerativa

Tema: (i) Introdução ao curso de sintaxe do português de base gerativa SINTAXE DO PORTUGUÊS I AULA 1-2015 Tema: (i) Introdução ao curso de sintaxe do português de base gerativa Profa. Dra. Márcia Santos Duarte de Oliveira FFFLCH-DLCV/ USP marcia.oliveira@usp.br n O linguista

Leia mais

INE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação

INE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação INE5317 Linguagens Formais e Compiladores AULA 3: Introdução a Teoria da Computação bas eado em material produzido pelo prof Olinto Jos é Varela Furtado Ricardo Azambuja Silveira INE-CTC-UFSC E-Mail: silveira@inf.ufsc.br

Leia mais

Introdução à Lógica de Predicados

Introdução à Lógica de Predicados Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere

Leia mais

Conteúdos das Avaliações de 28 de fevereiro a 07 de março de ºbimestre Disciplina Dia Conteúdo

Conteúdos das Avaliações de 28 de fevereiro a 07 de março de ºbimestre Disciplina Dia Conteúdo 6ºA Conteúdos das Avaliações de 28 de fevereiro a 07 de março de 2013 1ºbimestre Matemática 01/03 Sistema numérico Romano e Egípcio. (Pág. 5 até 12) Operações com números naturais. (Pág. 13 até 18) Inglês

Leia mais

TÉCNICO EM MANUTENÇÃO E SUPORTE EM INFORMÁTICA FORMA SUBSEQUENTE. Professora: Isabela C. Damke

TÉCNICO EM MANUTENÇÃO E SUPORTE EM INFORMÁTICA FORMA SUBSEQUENTE. Professora: Isabela C. Damke TÉCNICO EM MANUTENÇÃO E SUPORTE EM INFORMÁTICA FORMA SUBSEQUENTE Professora: Isabela C. Damke isabeladamke@hotmail.com Linguagem de Programação Uma linguagem de programação é um conjunto de símbolos (

Leia mais

Aula 3 Primeiros programas

Aula 3 Primeiros programas Aula 3 Primeiros programas FACOM-UFMS 2012 OBJETIVOS DA AULA Introdução ao CodeBlocks; Criação dos primeiros programas; Esta aula foi baseada nos capítulos 3 e 4 da apostila de Programação de Computadores

Leia mais

Semântica e Gramática

Semântica e Gramática Cadernos de Letras da UFF- GLC, n. 27, p. 181-185, 2003 181 Semântica e Gramática Monika Benttenmuller Amorim Maira Primo de Medeiros Lacerda RESUMO Esta resenha tem por objetivo apresentar as propostas

Leia mais

LISTAGEM DOS COMPONENTES CURRICULARES COMPLEMENTARES (ELETIVOS)

LISTAGEM DOS COMPONENTES CURRICULARES COMPLEMENTARES (ELETIVOS) LISTAGEM DOS COMPONENTES CURRICULARES COMPLEMENTARES (ELETIVOS) Componente Curricular Complementar Total Teórica Prática EAD 1 Pré-requisitos 1. Alfabetização e Letramento BA000492 2. Análise de Livros

Leia mais

LÍNGUA, LINGUAGEM E VARIAÇÃO. Professor Marlos Pires Gonçalves

LÍNGUA, LINGUAGEM E VARIAÇÃO. Professor Marlos Pires Gonçalves LÍNGUA, LINGUAGEM E VARIAÇÃO Professor Marlos Pires Gonçalves 1 É O TIPO DE CÓDIGO FORMADO POR PALAVRAS E LEIS COMBINATÓRIAS POR MEIO DO QUAL AS PESSOAS SE COMUNICAM E INTERAGEM ENTRE SI. É A REPRESENTAÇÃO

Leia mais

Professora: Jéssica Nayra Sayão de Paula Disciplina: Introdução aos estudos linguísticos II

Professora: Jéssica Nayra Sayão de Paula Disciplina: Introdução aos estudos linguísticos II Professora: Jéssica Nayra Sayão de Paula Disciplina: Introdução aos estudos linguísticos II Alguns fenômenos da língua que constituem evidência sintática para o fato de que a sentença é uma estrutura hierárquica.

Leia mais

Funções I. Alan Anderson. 1 Denição, Intuição e Primeiro Exemplo

Funções I. Alan Anderson. 1 Denição, Intuição e Primeiro Exemplo Funções I Alan Anderson 30 de maio de 2016 1 Denição, Intuição e Primeiro Exemplo Começaremos com dois conjuntos não-vazios A e B. Intuitivamente, uma função f : A B é uma relação entre conjuntos de A

Leia mais

Variações linguísticas: Norma Padrão e Norma culta

Variações linguísticas: Norma Padrão e Norma culta L.E. Semana 2 Segunda Feira Variações linguísticas: Norma Padrão e Norma culta Diferença entre a norma padrão e a norma culta o português não é homogêneo O português, como todas as línguas, é heterogêneo:

Leia mais

Capítulo 2: Procedimentos e algoritmos

Capítulo 2: Procedimentos e algoritmos Capítulo 2: Procedimentos e algoritmos Para estudar o processo de computação de um ponto de vista teórico, com a finalidade de caracterizar o que é ou não é computável, é necessário introduzir um modelo

Leia mais

LINGUAGENS FORMAIS E AUTÔMATOS

LINGUAGENS FORMAIS E AUTÔMATOS LINGUGENS FORMIS E UTÔMTOS Introdução reve Histórico Em 1936, lan Turing (matemático) propôs a possibilidade de se construir um computador digital através da formalização de um procedimento em tempo finito.

Leia mais

Semântica Denotacional

Semântica Denotacional Semântica Denotacional Uma introdução ISBN 0-321-19362-8 Semântica denotacional é um método formal para definir a semântica de linguagens de programação. Interessa a: projetista de linguagens, quem escreve

Leia mais

Linguagens Formais e Autômatos P. Blauth Menezes

Linguagens Formais e Autômatos P. Blauth Menezes Linguagens Formais e Autômatos P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação - P. Blauth Menezes

Leia mais

Aula 12: Lógica de Predicados

Aula 12: Lógica de Predicados Lógica para Computação Primeiro Semestre, 2015 Aula 12: Lógica de Predicados DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos estender a lógica proposicional para torná-la mais expressiva. Na lógica proposicional,

Leia mais

Lógica Proposicional Fórmulas e Precedência de Operadores

Lógica Proposicional Fórmulas e Precedência de Operadores Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introdução

Leia mais

GRUPOS CÍCLICOS. Professora: Elisandra Bär de Figueiredo

GRUPOS CÍCLICOS. Professora: Elisandra Bär de Figueiredo Professora: Elisandra Bär de Figueiredo GRUPOS CÍCLICOS Potências e Múltiplos DEFINIÇÃO 1 Seja G um grupo multiplicativo. Dado a G dene-se a potência m-ésima de a, para todo inteiro m, ˆ se m 0, por recorrência

Leia mais

INSTITUTO MACHADO DE ASSIS Seriedade, compromisso e competência.

INSTITUTO MACHADO DE ASSIS Seriedade, compromisso e competência. CARGO: PROFESSOR ANOS INICIAIS D B C A D B C B N D C A B D B A C B B B D A D D D D D C D A A A D C A A B N C N CARGO: ASSISTENTE SOCIAL N A C D C D A B B C C A B D B A C D D D C C N A A B B D A A N B C

Leia mais

Equações de 2º grau. Denomina-se equação do 2º grau na incógnita x, toda equação da forma: IR e

Equações de 2º grau. Denomina-se equação do 2º grau na incógnita x, toda equação da forma: IR e Equações de 2º grau Definições Denomina-se equação do 2º grau na incógnita x, toda equação da forma: ax 2 + bx + c = 0; a, b, c IR e Exemplo: x 2-5x + 6 = 0 é um equação do 2º grau com a = 1, b = -5 e

Leia mais

Linguagens Formais - Preliminares

Linguagens Formais - Preliminares Linguagens Formais - Preliminares Regivan H. N. Santiago DIMAp-UFRN 25 de fevereiro de 2007 Regivan H. N. Santiago (DIMAp-UFRN) Linguagens Formais - Preliminares 25 de fevereiro de 2007 1 / 26 Algumas

Leia mais

Linguagens de Programação

Linguagens de Programação Linguagens de Programação Fabio Mascarenhas - 2015.2 http://www.dcc.ufrj.br/~fabiom/lp Introdução Quais das expressões abaixo têm o mesmo significado? (vector-ref a 42) Introdução Quais das expressões

Leia mais

a é sempre o coeficiente de x²; b é sempre o coeficiente de x, c é o coeficiente ou termo independente.

a é sempre o coeficiente de x²; b é sempre o coeficiente de x, c é o coeficiente ou termo independente. Definições Denomina-se equação do 2º grau na incógnita x, toda equação da forma: ax 2 + bx + c = 0; a, b, c Exemplo: x 2-5x + 6 = 0 é um equação do 2º grau com a = 1, b = -5 e c = 6. 6x 2 - x - 1 = 0 é

Leia mais

Lógica e Metodologia Jurídica

Lógica e Metodologia Jurídica Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar

Leia mais

CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL

CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL MATRIZ CURRICULAR NOTURNO Fase Nº. Ordem Código COMPONENTE CURRICULAR Créditos Horas 1. Leitura e produção textual I 4 60 2. Introdução a informática 4

Leia mais

Funções gramaticais: Sujeito e predicado. Luiz Arthur Pagani (UFPR)

Funções gramaticais: Sujeito e predicado. Luiz Arthur Pagani (UFPR) Funções gramaticais: Sujeito e predicado (UFPR) 1 1 Tradição gramatical termos essenciais: São termos essenciais da oração o sujeito e o predicado. [2, p. 119] As orações de estrutura favorita em português

Leia mais

Cálculo proposicional

Cálculo proposicional O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais

Leia mais

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP

Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Linguagens Formais e Autômatos (BBC242) Professor: Anderson Almeida Ferreira DECOM-UFOP Ementa Gramáticas. Linguagens Regulares, Livres-de-Contexto e Sensíveis-ao- Contexto. Tipos de Reconhecedores. Operações

Leia mais

Alfabeto, Cadeias, Operações e Linguagens

Alfabeto, Cadeias, Operações e Linguagens Linguagens de Programação e Compiladores - Aula 3 1 Alfabeto, Cadeias, Operações e Linguagens 1.Conjuntos Para representar um determinado conjunto é necessário buscar uma notação para representá-lo e ter

Leia mais

Introdução à Programação de Computadores Fabricação Mecânica

Introdução à Programação de Computadores Fabricação Mecânica Introdução à Programação de Computadores Fabricação Mecânica Edilson Hipolito da Silva edilson.hipolito@ifsc.edu.br - http://www.hipolito.info Aula 06 - Introdução a algoritmos Roteiro Algoritmos Formas

Leia mais

BREVE HISTÓRIA DA SEMIOLOGIA: Abordagens de Saussure, Peirce, Morris e Barthes.

BREVE HISTÓRIA DA SEMIOLOGIA: Abordagens de Saussure, Peirce, Morris e Barthes. 1 BREVE HISTÓRIA DA SEMIOLOGIA: Abordagens de Saussure, Peirce, Morris e Barthes. BREVE HISTÓRIA DA SEMIOLOGIA (1) Período Clássico; (2) Período Medieval; (3) Racionalismo; (4) Empirismo Britânico; (5)

Leia mais

INFORMATIVO 6º ANO ATIVIDADES 4ª ETAPA 2017

INFORMATIVO 6º ANO ATIVIDADES 4ª ETAPA 2017 INFORMATIVO 6º ANO 6º ANO Disciplinas AVALIAÇÕES CONTÍNUAS AC AVALIAÇÕES GLOBAIS AG Gramática e Interpretação 25/10 Quarta-feira 17/11 Sexta-feira Matemática 27/10 Sexta-feira 20/11 Segunda-feira História

Leia mais

Hierarquia de Chomsky Exemplos de gramáticas

Hierarquia de Chomsky Exemplos de gramáticas Hierarquia de Chomsky Exemplos de gramáticas 1 Formalmente, as gramáticas são caracterizadas como quádruplas ordenadas G = ( Vn, Vt, P, S) onde: Vn representa o vocabulário não terminal da gramática. Este

Leia mais

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática 2014 Na teoria dos conjuntos três noções são aceitas sem denição (noção primitiva):: Conjunto;

Leia mais

TEORIA DAS LINGUAGENS 3. GRAMÁTICAS INDEPENDENTES DE CONTEXTO

TEORIA DAS LINGUAGENS 3. GRAMÁTICAS INDEPENDENTES DE CONTEXTO LICENCIATURA EM CIÊNCIAS DA COMPUTAÇÃO TEORIA DAS LINGUAGENS 3. GRAMÁTICAS INDEPENDENTES DE CONTEXTO José Carlos Costa Dep. Matemática e Aplicações Universidade do Minho Braga, Portugal 31 de Maio de 2010

Leia mais

Linguagens Formais e Autômatos (LFA)

Linguagens Formais e Autômatos (LFA) Linguagens Formais e Autômatos (LFA) Aula de 19/08/2013 Símbolos, Cadeias, Linguagens Propriedades e Representações Formais de Interesse 1 Nota preliminar ( O conceito de decomposição e suas representações

Leia mais

Passando do português para a linguagem matemática.

Passando do português para a linguagem matemática. 1 Passando do português para a linguagem matemática. Professor Maurício 2 Um grande problema para quem está estudando matemática pela primeira vez é passar o enunciado (na forma de palavras e escrito em

Leia mais

Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior.

Linguagens Formais e Autômatos 02/2015. LFA Aula 02. introdução 28/09/2015. Celso Olivete Júnior. LFA Aula 02 Linguagens regulares - introdução 28/09/2015 Celso Olivete Júnior olivete@fct.unesp.br 1 Na aula passada... Visão geral Linguagens regulares expressões regulares autômatos finitos gramáticas

Leia mais

Capítulo 1: Alfabetos, cadeias, linguagens

Capítulo 1: Alfabetos, cadeias, linguagens Capítulo 1: Alfabetos, cadeias, linguagens Símbolos e alfabetos. Um alfabeto é, para os nossos fins, um conjunto finito não vazio cujos elementos são chamados de símbolos. Dessa maneira, os conceitos de

Leia mais

Língua Falada e Língua Escrita

Língua Falada e Língua Escrita Língua Falada e Língua Escrita Língua Falada é a linguagem que usamos para nos comunicar, pronunciada pela boca, muitas vezes de modo informal, sem muitas regras e com algumas gírias; muito diferente da

Leia mais

Atividade de formação. E.T.E.S. Ernesto Dornelles 14/10/2014

Atividade de formação. E.T.E.S. Ernesto Dornelles 14/10/2014 Atividade de formação E.T.E.S. Ernesto Dornelles 14/10/2014 Eixos interdisciplinares: exemplos Responsáveis: Gisele Dalva Secco (PIBID Interdisciplinar UFRGS Campus do Vale) Priscilla Tesch Spinelli (PIBID

Leia mais

CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4. Prezado Aluno,

CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4. Prezado Aluno, CEDERJ MÉTODOS DETERMINÍSTICOS 1 - EP4 Prezado Aluno, Neste EP daremos sequência ao nosso estudo da linguagem da lógica matemática. Aqui veremos o conectivo que causa mais dificuldades para os alunos e

Leia mais

MATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson

MATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson MATEMÁTICA Aula 2 Teoria dos Conjuntos Prof. Anderson CONCEITO Na teoria dos conjuntos, um conjunto é descrito como uma coleção de objetos bem definidos. Estes objetos são chamados de elementos ou membros

Leia mais

Unidade 5: Introdução à Programação com C/C++

Unidade 5: Introdução à Programação com C/C++ Lógica de Programação para Engenharia 1 Unidade 5: Introdução à Programação com C/C++ Prof. Daniel Caetano Objetivo: Explicitar os elementos básicos envolvidos na programação com a linguagem C/C++. Bibliografia:

Leia mais

Exercícios sobre a aula 1 de Aulas Informais de Semântica Formal (Bach 1987)

Exercícios sobre a aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Exercícios sobre a aula 1 de Aulas Informais de Semântica Formal (Bach 1987) Luiz Arthur Pagani Exercício 1 Determine se as expressões abaixo são ou não fórmulas do CP de acordo com a sintaxe apresentada

Leia mais

O que significa Morfologia

O que significa Morfologia Morfologia Revisão O que significa Morfologia A palavra Morfologia tem sua origem a partir das formas gregas morphê, 'forma' e logos, 'estudo, tratado'. Então: Morfologia significa 'o estudo da forma'.

Leia mais

ABORDAGENS COMPUTACIONAIS da teoria da gramática

ABORDAGENS COMPUTACIONAIS da teoria da gramática 1 9 7 2 5 0 ABORDAGENS COMPUTACIONAIS da teoria da gramática 1 9 7 2 5 0 Leonel Figueiredo de Alencar Gabriel de Ávila Othero (organizadores) ABORDAGENS COMPUTACIONAIS da teoria da gramática 1 9 7 2 5

Leia mais

INTRODUÇÃO À LÓGICA MATEMÁTICA

INTRODUÇÃO À LÓGICA MATEMÁTICA INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição

Leia mais

Linguagens Formais e Autômatos

Linguagens Formais e Autômatos Linguagens Formais e Autômatos Hisham Muhammad h@hisham.hm PUC-Rio Sobre o professor Hisham H. Muhammad MSc. em Informática pela PUC-Rio Doutorando na área de Linguagens de Programação Grupo do LabLua,

Leia mais

Linguística CORRENTES MODERNAS DA LINGUÍSTICA (PARTE I) Profª. Sandra Moreira

Linguística CORRENTES MODERNAS DA LINGUÍSTICA (PARTE I) Profª. Sandra Moreira Linguística CORRENTES MODERNAS DA LINGUÍSTICA (PARTE I) Profª. Sandra Moreira Conteúdo Programático O Funcionalismo As Funções da Linguagem de Roman Jakobson A Linguística Sistêmica de Michael Halliday

Leia mais

TIPOS DE DADOS E VARIÁVEIS

TIPOS DE DADOS E VARIÁVEIS AULA 3 TIPOS DE DADOS E VARIÁVEIS 3.1 Tipos de dados Os dados manipulados por um algoritmo podem possuir natureza distinta, isto é, podem ser números, letras, frases, etc. Dependendo da natureza de um

Leia mais

Linguagens Formais e Autômatos. Conceitos Básicos Prof. Anderson Belgamo

Linguagens Formais e Autômatos. Conceitos Básicos Prof. Anderson Belgamo Linguagens Formais e Autômatos Conceitos Básicos Prof. Anderson Belgamo Introdução Teoria das Linguagens Formais Originariamente desenvolvida na década de 1950. Objetivo inicial: desenvolver teorias relacionadas

Leia mais

MATRIZ CURRICULAR DO CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL - LICENCIATURA

MATRIZ CURRICULAR DO CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL - LICENCIATURA MATRIZ CURRICULAR DO CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL - LICENCIATURA Campus de Realeza Turno Noturno Fase Nº. Ordem Código COMPONENTE CURRICULAR Créditos Horas Pré Requisito 1. GLA001

Leia mais

Comunicação. Capítulo 22 (Secções 1-3)

Comunicação. Capítulo 22 (Secções 1-3) Comunicação Capítulo 22 (Secções 1-3) Sumário Comunicação Gramática Análise sintáctica (Parsing) Comunicação Perspectiva clássica (anterior a 1953) Linguagem consiste em frases que são V/F Wittgenstein

Leia mais

Compiladores. Análise lexical. Plano da aula. Motivação para análise lexical. Vocabulário básico. Estrutura de um compilador

Compiladores. Análise lexical. Plano da aula. Motivação para análise lexical. Vocabulário básico. Estrutura de um compilador Estrutura de um compilador programa fonte Compiladores Análise lexical () Expressões Regulares analisador léxico analisador sintático analisador semântico análise gerador de código intermediário otimizador

Leia mais

Linguística O Gerativismo de Chomsky

Linguística O Gerativismo de Chomsky Linguística O Gerativismo de Chomsky Profª. Sandra Moreira Conteúdo Programático A Gramática Gerativa Inatismo versus Behaviorismo Competência e Desempenho Estrutura Profunda e Estrutura Superficial Objetivos

Leia mais

Unidade 5: Introdução à Programação com C/C++ Prof. Daniel Caetano

Unidade 5: Introdução à Programação com C/C++ Prof. Daniel Caetano Lógica de Programação para Engenharia 1 Unidade 5: Introdução à Programação com C/C++ Prof. Daniel Caetano Objetivo: Explicitar os elementos básicos envolvidos na programação com a linguagem C/C++. Bibliografia:

Leia mais

Conceitos Básicos. Vocabulário Cadeias Linguagens Problema

Conceitos Básicos. Vocabulário Cadeias Linguagens Problema Conceitos Básicos Vocabulário Cadeias Linguagens Problema Alfabeto ou Vocabulário: Conjunto finito não vazio de símbolos. Símbolo é um elemento qualquer de um alfabeto. Ex: {A,B,C,.Z} alfabeto latino (maiúsculas)

Leia mais

CARACTERÍSTICA DE UM ANEL

CARACTERÍSTICA DE UM ANEL Professora: Elisandra Bär de Figueiredo CARACTERÍSTICA DE UM ANEL PROPOSIÇÃO 1 Seja A um anel com unidade. Se m, n Z, então (mn)1 A = (m1 A )(n1 A ). Seja A um anel. Considere o seguinte subconjunto de

Leia mais

MATRIZ CURRICULAR DO CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL - LICENCIATURA

MATRIZ CURRICULAR DO CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL - LICENCIATURA MATRIZ CURRICULAR DO CURSO DE GRADUAÇÃO EM LETRAS PORTUGUÊS E ESPANHOL - LICENCIATURA Campus de Chapecó Turno Noturno Fase Nº. Ordem Código COMPONENTE CURRICULAR Créditos Horas Pré Requisito 1. GLA001

Leia mais

Iniciação a Lógica Matemática

Iniciação a Lógica Matemática Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa

Leia mais

Java e sua Sintaxe. Estrutura mínima de um programa em Java: public class Exemplo { }

Java e sua Sintaxe. Estrutura mínima de um programa em Java: public class Exemplo { } Java e sua Sintaxe Java e sua Sintaxe Estrutura mínima de um programa em Java: public class Exemplo { } Como todo programa deve ter um início, convenciona-se que a primeira ação de um programa é a execução

Leia mais

Instituto Superior Politécnico de VISEU. Escola Superior de Tecnologia

Instituto Superior Politécnico de VISEU. Escola Superior de Tecnologia 1 Estruturada Quando precisamos de escrever código para resolver um determinado problema, dizemos normalmente que precisamos de um "programa" para esse fim. Programa, aqui, é entendido como um conjunto

Leia mais

Representação decimal dos números racionais

Representação decimal dos números racionais Representação decimal dos números racionais Alexandre Kirilov Elen Messias Linck 4 de abril de 2017 1 Introdução Um número é racional se puder ser escrito na forma a/b, com a e b inteiros e b 0; esta é

Leia mais

Semântica de Linguagens de Programação

Semântica de Linguagens de Programação Semântica de Linguagens de Programação Fabio Mascarenhas - 2011.2 http://www.dcc.ufrj.br/~fabiom/sem Introdução Quais das expressões abaixo têm o mesmo significado? a[42] (vector-ref a 42) a[42] a[42]

Leia mais