Sistemas Computacionais e Lógica

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

Download "Sistemas Computacionais e Lógica"

Transcrição

1 FTC Faculdade de Tecnologia e Ciências Engenharia Civil 1º Semestre Sistemas Computacionais e Lógica Rafael Barbosa Neiva rafael@prodados.inf.br

2 Sistema de numeração binário Linguagem composta por dois dígitos 0 ausência de sinal elétrico 1 presença de sinal elétrico Cada digito é chamado de Bit(digito binário)

3 Sistema de numeração binário 8 bits 1 byte Bits são usados para medir velocidade na transmissão de dados Bytes utilizados para capacidade de armazenamento Ex: o valor decimal 6 pode ser representado pelo número

4 Conversão de números Binários Binário para Decimal Atribuir a cada dígito um valor de base 2 e um expoente variando de 0 a 7 Expoente iniciando de 0(ultimo bit) e indo até 7(primeiro bit) Multiplicar o valor de base 2 por cada valor binário que esta associado ao valor do expoente e somar o resultado

5 Binário para Decimal Binário: Resultado: = 53

6 Decimal para binário Dividir sucessivamente por 2 o número decimal e os quocientes, até que o quociente de uma das divisões seja 0.

7 Software Comanda as funcionalidades do hardware

8 Tipos de software Básicos Ex: sistemas operacionais (linux,windows,dos), pacotes de programação(pascal, java, C, Delphi) Aplicativos Ex: word, excel, sistema de controle financeiro, controle de frota...

9 Softwares na área de Engenharia Civil O ORSE é um poderoso software para orçamento de obras totalmente gratuito. Dialux - Software gratuito destinado ao cálculo de iluminação, desde os mais simples até os mais avançados.

10 Outros Softwares AcadFrame - Freeware Analisys - Freeware APC - Módulo DM - Freeware Armacon - Freeware Belgo Pavimentos - Freeware Blender - Open Source BrOffice.org - Open Source Block Preview - Freeware CADRE Pro - Shareware

11 Linguagens de Programação Conjunto de operações necessárias para a partir de dados de entrada, obter um resultado que será acessado através de um dispositivo de saída. Especifica passos e instruções sequenciadas para resolver um problema

12 Classificação das linguagens de programação Baixo nível: linguagem de máquina, tem forte interação com o hardware Alto nível: aproxima da linguagem usadas por humano para expressar problemas e algoritmos

13 Linguagem de Alto nível Sintaxe: gramática da linguagem de programação Compilador: converte a linguagem de alto nível para a linguagem de baixo nível

14 Exercícios 1 converta os números abaixo de decimal para binário

15 Exercícios 2 Converta os números binários abaixo para decimal

16 Lógica Coerência de raciocínio, de ideias, sequencia coerente, regular e necessária nos acontecimentos, de coisas.

17 Porque aprender Lógica nos auxilia no raciocínio e na compreensão de conceitos básicos de qualquer disciplina que nos dispomos a estudar, nos preparando, assim, para o entendimento do conteúdo de tópicos mais avançados. no dia-a-dia, estamos constantemente argumentando. Estamos sempre sendo bombardeados por informações e necessitamos tirar nossas conclusões, o que é uma forma de aprendizado.

18 Lógica e a Engenharia Civil quando comparada com outras engenharias, é fundamentalmente diferente porque as teorias disponíveis para resolver problemas nunca se ajustam perfeitamente ao esquema do problema a ser resolvido. cada projeto é único e, consequentemente,a chance de se testar um protótipo é mínima, ao contrário de outras engenharias

19 Exemplos de Lógica Ex1: 7 < 11, 15 > 11, logo 7 < 15; Ex2: 3,6,9,X... Valor de X = 12, lógica intuitiva Ex3: Se X é par, então é divisível por 2

20 Lógica de relacionamentos Ontem gastamos 1 hora de reunião para fazer um projeto Hoje gastamos 1 hora e meia. Se foi gasto mais, foi gasto em relação a alguma coisa Portanto, quanto é comparado valores e medidas, estamos fazendo relacionamentos entre eles.

21 Raciocínio de relacionamento Exemplo: Pedro é filho de Paulo que é casado com Juliana; Clara é filha de Juliana com Paulo, o que Pedro e Clara são? Podemos montar várias frases simples para deduzir o resultado. 1. Pedro é filho de Paulo; (relação Pai/Filho) 2. Paulo é casado com Juliana; (relação Marido/Esposa) 3. Clara é filha de Juliana e Paulo; (relação Pai/Filha) 4. Logo, Clara e Pedro são irmãos. (relação Irmãos)

22 Exercícios 1 O pai de André é irmão do Pai de Junior. André tem um filho chamado Jose. Qual a relação de José e Junior. R: primo 2 Se o pai de Mateus é sogro de Maria, e está é cunhada de Joana por parte de Mateus, o que a mãe de Mateus é de Joana. R: Mãe.

23 Procedimento de Decisão Representam a forma pela qual iremos tomar uma decisão ao tentarmos resolver um problema Ler e entender o enunciado do problema Verificar se o que esta escrito ou o que foi dito é verdadeiro ou falso. Ex: se o cliente vir hoje iremos apresentar o projeto, se ele não vir teremos uma reunião interna.

24 Descrição do problema Neste caso, o problema consiste em saber o que fazer se o cliente aparecer. O enunciado não deixa qualquer dúvida. Não estamos preocupado e nem tentando resolver outras questões como, por exemplo, o que vou fazer se meu projetista não aparecer para apresentação. A questão é somente com o cliente. Uma possível solução me diz que, se o enunciado é verdadeiro, ou seja, se o cliente vir realmente, então teremos a apresentação. Caso contrário, se o enunciado se verificar não verdadeiro, ou seja, o cliente não aparecer, teremos reunião interna. Perceba que a solução está completa para o problema.

25 Problema com mais de uma instrução vinculada Ex: se o cliente vir hoje e o projetista trazer o projeto, iremos apresenta-lo Ação é verdadeira se e somente se, o cliente vir e o projetista trazer o projeto Outras situações: Cliente Não apareceu e o projetista trouxe o projeto Cliente Não apareceu e o projetista não trouxe o projeto Cliente Está presente, e o projetista não trouxe o projeto

26 Resposta das condições Para Cada condição uma ação pode ser tomada Cliente Não apareceu e o projetista trouxe o projeto, ações a serem tomadas: Revisar o projeto Enviar o projeto pro cliente por Ligar para o cliente e agendar outra apresentação

27 Respostas lógicas são situações que expressam uma resposta do tipo: Está ou não Está; Sim ou Não; Verdadeiro ou Falso. Não existe o talvez.

28 Lógica Matemática Ciência do raciocínio e da demonstração Século XIX - ideias de George Boole, criador da álgebra booleana. Trata do estudo das sentenças declarativas proposições Falsa(F) ou 0 ; Verdadeira(V) ou 1

29 Proposições Toda proposição é uma frase, mas nem toda frase é uma proposição; Uma frase é uma proposição somente quando admite um dos dois valores lógicos verdadeiro ou falso. Frases que não são proposições Algumas pessoas são sinceras O dia está claro

30 Proposições Frases que não são proposições Pare! Quer uma xícara de café? Eu não estou bem certo se esta cor me agrada Frases que são proposições A lua é o único satélite do planeta terra (V) A cidade de Salvador é a capital do estado do Amazonas (F) O numero 712 é ímpar (F) Raiz quadrada de dois é um número irracional (V)

31 Composição das Proposições Construir proposições a partir de proposições já existentes Vamos supor duas proposições A Pedro tem 25 anos B Pedro é menor de idade

32 Composição de Proposições Pedro não tem 25 anos" (nãoa) Pedro não é menor"(não(b)) Pedro tem 25 anos" e Pedro é menor" (A e B) Pedro tem 25 anos" ou Pedro é menor" (A ou B) Pedro não tem 25 anos" e Pedro é menor" (não(a) e B) Pedro não tem 25 anos" ou Pedro é menor" (não(a) ou B) Pedro tem 25 anos" ou Pedro não é menor" (A ou não(b)) Pedro tem 25 anos" e Pedro não é menor" (A e não(b)) Se Pedro tem 25 anos" então Pedro é menor" (A => B) Se Pedro não tem 25 anos" então Pedro é menor" (não(a) => B) Pedro não tem 25 anos" e Pedro é menor" (não(a) e B) Pedro tem 18 anos" é equivalente a Pedro não é menor" (C <=> não(b))

33 Conectivos Lógicos Não negação E conjunção Ou disjunção => - implicação - equivalência C - proposição

34 Leis fundamentais Lei do meio excluído: Uma proposição é falsa (F) ou verdadeira (V): não há meio termo. Lei da contradição: Uma proposição não pode ser, simultaneamente, V e F. Lei da funcionalidade: O valor lógico (V ou F) de uma proposição composta é unicamente determinada pelos valores lógicos de suas proposições constituintes

35 Exemplos das leis lei do meio excluído: o número é par Ou é impar; é cara Ou coroa etc. Da lei da contradição: não posso ter cara E coroa ao mesmo tempo; Da lei da funcionalidade: Em função de a e b define o valor da proposição c.

36 Tabela Verdade é uma estrutura lógica que facilita o raciocínio humano.

37 Tabela Verdade A B Conjunção A.B, AB, A e B Disjunção A + B, A ou B Implicação A => B Equivalência A B F F F F V V F V F V V F V F F V F F V V V V V V

38 Números de Linhas da tabela Verdade O número de linhas que uma tabela verdade possui depende de quantas proposições simples estão contidas na composta. um símbolo que tiver n proposições simples, sendo n um número inteiro e positivo, a tabela-verdade correspondente terá 2 n linhas de valores lógicos.

39 Tabela Verdade A negação, como o próprio nome diz, nega a proposição que tem como argumento. Tem como símbolo o acento "~", ~A,ou, algumas vezes, uma barra sobre a variável lógica, Ã, ou o sinal "-", -A, ou o símbolo "/", /A, ou ainda, o sinal "'", A'. O símbolo mais utilizado para a conjunção, em Eletrônica Digital, é o ponto ".". O símbolo mais utilizado para a disjunção é o sinal "+".

40 Tabela Verdade A única função da implicação lógica (A => B, onde A é o antecedente e B é o consequente) é afirmar o consequente no caso do antecedente ser verdadeiro. Segundo Quine, a única maneira de se negar a implicação lógica como um todo é quando isto não ocorre, isto é, tem-se o antecedente (A) V e o consequente (B) é F. Apenas neste caso, a implicação (A => B) é F. Em todos os outros casos é V. A equivalência sempre é V quando os dois argumentos possuem o mesmo valor lógico (seja, este valor, V ou F).

41 Exemplos Se João é estudioso então ele passará no Vestibular Sejam as proposições: p = João é estudioso q = Ele passará no vestibular teremos a proposição: p => q

42 Exemplos (P. Q) R

43 Exemplos Considerando as proposições simples que compõem a frase "A música nos conecta a nós mesmos, aos outros e à alma do Brasil", é correto afirmar que a tabela-verdade da proposição referente a essa frase tem 8 linhas. Sim, pois são 3 proposições, "A música nos conecta a nós mesmos", "A música nos conecta aos outros" e "A música nos conecta à alma do Brasil", e o número de linhas é dado por 2 3 = = 8.

44 Exercício 1 - Construa a tabela verdade das proposições abaixo W = (a e ~c) e ~b W = ~a e c ou (b e c) W = ~a e b ou ~c W = (a ou c) ou (~a e b) 2 A tabela-verdade da proposição referente a essa frase tem quantas linhas: Ou o Brasil vai ser um fiasco total nos preparativos para olimpíadas ou será um fenômeno da engenharia

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico

4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Registro CMI 40616 Aula Proposição 4 a Parte Lógica Formal Aspectos Introdutórios Resumo Teórico Toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando

Leia mais

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.

Como primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças. NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo

Leia mais

Prof. Jorge Cavalcanti

Prof. Jorge Cavalcanti Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Introdução à Automação

Introdução à Automação Núcleo de Mecânica Introdução à Automação Prof. Wander Gaspar wandergaspar@gmail.com Sistemas Analógicos Um sistema analógico contém dispositivos que manipulam quantidades físicas que variam de forma contínua

Leia mais

Matemática Discreta - 01

Matemática Discreta - 01 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira. Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro

Leia mais

Eletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary

Eletrônica Digital. Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos. Professor: Francisco Ary Eletrônica Digital Funções lógicas, álgebra de boole e circuitos lógicos combinacionais básicos Professor: Francisco Ary Introdução Vimos na aula anterior conversão de números binário fracionários em decimal;

Leia mais

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014 Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.

Leia mais

Campos Sales (CE),

Campos Sales (CE), UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:

Leia mais

Processamento Sequencial e Condicional

Processamento Sequencial e Condicional FTC Faculdade de Tecnologia e Ciências Engenharia Civil 1º Semestre Processamento Sequencial e Condicional Rafael Barbosa Neiva rafael@prodados.inf.br Processamento Sequencial Processamento sequencial

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1

Leia mais

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter

DISCIPLINA: Lógica. CONTEÚDO: Circuitos Lógicos. PROFESSORA Dr.ª Donizete Ritter ESTADO DE MATO GROSSO SECRETARIA DE ESTADO DE CIÊNCIAS E TECNOLOGIA FUNDAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO PRÓ-REITORIA DE ADMINISTRAÇÃO CAMPUS DE SINOP BACHARELADO EM SISTEMAS DE INFORMAÇÃO DISCIPLINA:

Leia mais

Linguagem de Descrição de algoritmos

Linguagem de Descrição de algoritmos FTC Faculdade de Tecnologia e Ciências Engenharia Civil 1º Semestre Linguagem de Descrição de algoritmos Rafael Barbosa Neiva rafael@prodados.inf.br Definição - Algoritmo Diariamente, executamos uma série

Leia mais

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula /

GRATUITO RACIOCÍNIO LÓGICO - EBSERH. Professor Paulo Henrique PH Aula / 1 www.romulopassos.com.br / www.questoesnasaude.com.br GRATUITO RACIOCÍNIO LÓGICO - EBSERH Professor Paulo Henrique PH Aula 02 R A C I O C Í N I O L Ó G I C O E B S E R H a u l a 0 2 Página 1 2 www.romulopassos.com.br

Leia mais

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração

Sistemas de Numeração. Exemplos de Sistemas de Numeração (1) Exemplos de Sistemas de Numeração (2) Sistemas de Numeração Sistemas de Numeração Sistemas de Numeração (Aula Extra) Sistemas de diferentes bases Álgebra Booleana Roberta Lima Gomes - LPRM/DI/UFES Sistemas de Programação I Eng. Elétrica 27/2 Um sistema de numeração

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação

Leia mais

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: 2018-2 TURNO: NOTURNO ALUNO a): 1ª Lista de Exercícios - Introdução à Lógica Matemática, Teoria

Leia mais

Noções de Algoritmos

Noções de Algoritmos Universidade Federal do Rio Grande do Norte Departamento de Engenharia de Computação e Automação Noções de Algoritmos DCA0800 - Algoritmos e Lógica de Programação Heitor Medeiros 1 Tópicos da aula Algoritmos

Leia mais

Professor conteudista: Ricardo Holderegger

Professor conteudista: Ricardo Holderegger Lógica Professor conteudista: Ricardo Holderegger Sumário Lógica Unidade I 1 SISTEMAS DICOTÔMICOS...3 1.1 Proposições...3 1.1.1 Proposições lógicas...3 1.1.2 Símbolos da lógica matemática...4 1.1.3 A negação...4

Leia mais

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013

Prof. Tiago Semprebom, Dr. Eng. 09 de abril de 2013 Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago

Leia mais

Referências e materiais complementares desse tópico

Referências e materiais complementares desse tópico Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:

Leia mais

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22 Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é

Leia mais

Sistemas de Numeração

Sistemas de Numeração Infra-Estrutura de Hardware Sistemas de Numeração Conversão entre bases Bit e byte ECC Prof. Edilberto Silva www.edilms.eti.br edilms@yahoo.com Sumário Conversão de bases Aritmética binária e hexadecimal

Leia mais

Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE.

Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. INSTITUTO SUPERIOR POLITÉCNICO METROPOLITANO DE ANGOLA DEPARTAMENTO DE CIÊNCIAS TECNOLÓGICAS E ENGENHARIAS Apostila de Sistemas Digitais e Computadores MÓDULOS I & II: REVISÃO ÁLGEBRA DE BOOLE. SDC LCC1N

Leia mais

Sistemas de Numeração. Tiago Alves de Oliveira

Sistemas de Numeração. Tiago Alves de Oliveira Sistemas de Numeração Tiago Alves de Oliveira Sumário Sistemas Numéricos Binário Octal Hexadecimal Representação Interna de Caracteres Sistemas Numéricos Sistemas numéricos Sistemas de notação usados para

Leia mais

Computação e Programação

Computação e Programação Computação e Programação 1ª Aula de 2008-2009 Instituto Superior Técnico, Dep. de Engenharia Mecânica - Sistemas O Visual C++ Para Casa (se possível antes da aula!): Veja o video e o screencast que se

Leia mais

RLM Material de Apoio Professor Jhoni Zini

RLM Material de Apoio Professor Jhoni Zini PRINCÍPIOS LÓGICOS 1. Segundo a lógica aristotélica, as proposições têm como uma de suas propriedades básicas poderem ser verdadeiras ou falsas, isto é, terem um valor de verdade. Assim sendo, a oração

Leia mais

Introdução a Algoritmos

Introdução a Algoritmos Introdução a Algoritmos Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2019 Sheila Almeida (DAINF-UTFPR-PG) Introdução a Algoritmos março - 2019 1 / 33 O que é Algoritmo? Algoritmo Informalmente:

Leia mais

ORGANIZAÇÃO DE COMPUTADORES

ORGANIZAÇÃO DE COMPUTADORES ORGANIZAÇÃO DE COMPUTADORES CAMPUS SANTO ANDRÉ CELSO CANDIDO SEMESTRE 2014-1 1 CONCEITOS ASSUNTOS DESTA AULA: Funcionalidades de um computador; Hardware e Software; Componentes de um computador: o CPU

Leia mais

Aula 1: Introdução ao curso

Aula 1: Introdução ao curso Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos

Leia mais

Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre. T.06 Fundamentos delógica

Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre. T.06 Fundamentos delógica Programação Mestrado Integrado em Engenharia Aeronáutica 1º ano, 1º semestre T.06 Fundamentos delógica Sumário : Abordagem à logica através da teoria de conjuntos: Operadores lógicos: união (OR), interseção

Leia mais

Representação de Dados

Representação de Dados BCC 201 - Introdução à Programação Representação de Dados Guillermo Cámara-Chávez UFOP 1/1 O Computador I Vantagens: Realiza operações com rapidez e perfeição. Desvantagens: Não tem iniciativa; Não tem

Leia mais

Constantes, Variáveis, tipos de dados e expressões

Constantes, Variáveis, tipos de dados e expressões FTC Faculdade de Tecnologia e Ciências Engenharia Civil 1º Semestre Constantes, Variáveis, tipos de dados e expressões Rafael Barbosa Neiva rafael@prodados.inf.br Variáveis Como referenciar e recuperar

Leia mais

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3

Proposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3 Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando

Leia mais

Lógica dos Quantificadores: sintaxe

Lógica dos Quantificadores: sintaxe Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas

Leia mais

Eletrônica Digital Sistemas de Numeração. Prof. Wanderley

Eletrônica Digital Sistemas de Numeração. Prof. Wanderley Eletrônica Digital Sistemas de Numeração Prof. Wanderley Introdução Os sistemas de numeração são uma invenção humana Dentre os sistemas de numeração inventados, destacam-se: O decimal; O binário; O octal;

Leia mais

FACULDADE PITÁGORAS PRONATEC

FACULDADE PITÁGORAS PRONATEC FACULDADE PITÁGORAS PRONATEC DISCIPLINA: ARQUITETURA DE COMPUTADORES Prof. Ms. Carlos José Giudice dos Santos carlos@oficinadapesquisa.com.br www.oficinadapesquisa.com.br Objetivos Ao final desta apostila,

Leia mais

Algoritmo: Definição. Algoritmo. O que é Lógica? Lógica de Programação. Mas e a Lógica de Programação?

Algoritmo: Definição. Algoritmo. O que é Lógica? Lógica de Programação. Mas e a Lógica de Programação? : Definição Introdução a s Prof. Araken Medeiros araken@ufersa.edu.br Um algoritmo pode ser definido como uma sequência de passos finitos, que se executados em um determinado período de tempo, atingirá

Leia mais

Informática básica. Professor: Francisco Ary

Informática básica. Professor: Francisco Ary Informática básica Professor: Francisco Ary O que vimos na ultima aula: O que é informática? O que é um computador? Evolução; Computadores eletrônicos: Válvulas; Transistor; Circuito integrado;e Microprocessador;

Leia mais

I - CONCEITOS INICIAIS

I - CONCEITOS INICIAIS Sumário I - CONCEITOS INICIAIS... 2 Lógica de programação... 2 Algoritmo... 2 Instrução... 3 Programa de Computador... 3 Fases... 4 Diagrama de Blocos... 4 II - VARIÁVEIS... 5 Numéricas... 5 Cadeia ou

Leia mais

Aula 1 Aula 2. Ana Carolina Boero. Página:

Aula 1 Aula 2. Ana Carolina Boero.   Página: Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática

Leia mais

Fundamentos da Computação 1. Aula 03

Fundamentos da Computação 1. Aula 03 Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise

Leia mais

Informática básica. Professor: Francisco Ary

Informática básica. Professor: Francisco Ary Informática básica Professor: Francisco Ary O que vimos na ultima aula: O que é informática? O que é um computador? Evolução; Computadores eletrônicos: Válvulas; Transistor; Circuito integrado;e Microprocessador;

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

Concurso Público Conteúdo

Concurso Público Conteúdo Concurso Público 2016 Conteúdo Estrutura lógica de relações arbitrárias entre pessoas, lugares, objetos ou eventos fictícios; deduzir novas informações das relações fornecidas e avaliar as condições usadas

Leia mais

1 TECNOLOGIA ELEMENTAR CAPÍTULO 3 E-books PCNA. Vol. 1 TECNOLOGIA ELEMENTAR CAPÍTULO 3 APRESENTANDO A LINGUAGEM C. Página 1

1 TECNOLOGIA ELEMENTAR CAPÍTULO 3 E-books PCNA. Vol. 1 TECNOLOGIA ELEMENTAR CAPÍTULO 3 APRESENTANDO A LINGUAGEM C. Página 1 1 TECNOLOGIA ELEMENTAR CAPÍTULO 3 E-books PCNA Vol. 1 TECNOLOGIA ELEMENTAR CAPÍTULO 3 APRESENTANDO A LINGUAGEM C Página 1 2 TECNOLOGIA ELEMENTAR CAPÍTULO 3 SUMÁRIO Apresentação -----------------------------------------------------------

Leia mais

Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 4

Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 4 Aula demonstrativa Apresentação... 2 Modelos de questões resolvidas IBFC... 4 1 Apresentação Olá, pessoal Tudo bem com vocês? Finalmente saiu o edital do TCM/RJ Para quem ainda não me conhece, meu nome

Leia mais

Introdução à Computação

Introdução à Computação Your Logo Here Prof. Bruno de Jesus bruno.jesus@ic.ufal.br Introdução à Computação Tipos de dados, variáveis e expressões Conteúdo de hoje... Tipos de dados Dados numéricos Inteiro Real Dados literais

Leia mais

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016

Lógica Proposicional Parte I. Raquel de Souza Francisco Bravo   11 de outubro de 2016 Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.

Leia mais

Faculdade de Estudos Avançados do Pará Disciplina: Algoritmos Professor: Armando Hage. Introdução à Programação

Faculdade de Estudos Avançados do Pará Disciplina: Algoritmos Professor: Armando Hage. Introdução à Programação Faculdade de Estudos Avançados do Pará Disciplina: Algoritmos Professor: Armando Hage Introdução à Programação Construção de Algoritmos Algoritmo é uma seqüência finita de ações que descrevem como um problema

Leia mais

Capítulo 1 Conceitos Básicos

Capítulo 1 Conceitos Básicos Capítulo 1 Conceitos Básicos Licenciatura em Computação Fundamentos de Lógica para Programação Prof. Nícolas Trigo nicolas.trigo@ifsertao-pe.edu.br http://professor.ifsertao-pe.edu.br/nicolas.trigo Introdução

Leia mais

Sistemas de numeração: Decimal, Binário, Octal e Hexadecimal

Sistemas de numeração: Decimal, Binário, Octal e Hexadecimal Sistemas de numeração: Decimal, Binário, Octal e Hexadecimal Pedro Pinto 03 Jan 2013 Na semana passada um leitor lançou-me o desafio para escrever uns artigos sobre os sistema de representação numérica

Leia mais

Matemática discreta e Lógica Matemática

Matemática discreta e Lógica Matemática AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,

Leia mais

Disciplina: Introdução à Informática

Disciplina: Introdução à Informática Colegiado de Engenharia de Computação Disciplina: Introdução à Informática Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br Breve história dos computadores Modelo de Von Neumann Memória Entrada Unidade

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

Lógica Computacional

Lógica Computacional Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,

Leia mais

Cálculo Numérico IPRJ/UERJ. Sílvia Mara da Costa Campos Victer ÍNDICE. Aula 1- Introdução. Representação de números. Conversão de números

Cálculo Numérico IPRJ/UERJ. Sílvia Mara da Costa Campos Victer ÍNDICE. Aula 1- Introdução. Representação de números. Conversão de números Cálculo Numérico IPRJ/UERJ Sílvia Mara da Costa Campos Victer ÍNDICE Aula 1- Introdução Representação de números Conversão de números Aritmética de ponto flutuante Erros em máquinas digitais Aula 1 - Introdução

Leia mais

Aula 3 Bytes e Bits. DIM0103 Introdução à Informática. Profº Pedro Alexandre

Aula 3 Bytes e Bits. DIM0103 Introdução à Informática. Profº Pedro Alexandre Aula 3 Bytes e Bits DIM0103 Introdução à Informática Profº Pedro Alexandre Nessa aula você verá... Unidades de medida Sistema Binário Sistema Hexadecimal Manipulação de dados numéricos Álgebra Booleana

Leia mais

Unidades de Medidas Computacionais

Unidades de Medidas Computacionais Unidades de Medidas Computacionais Professor: Vilson Heck Junior vilson.junior@ifsc.edu.br Unidades de Medidas Computacionais QUANTIFICAÇÃO DE DADOS Dados e Informações Como nós representamos? Texto: Nome

Leia mais

Disciplina: Introdução à Engenharia da Computação

Disciplina: Introdução à Engenharia da Computação Colegiado de Engenharia de Computação Disciplina: Introdução à Engenharia da Computação Aula 07 (semestre 2011.2) Prof. Rosalvo Ferreira de Oliveira Neto, M.Sc. rosalvo.oliveira@univasf.edu.br 2 Representação

Leia mais

Apresentação do curso

Apresentação do curso Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica

Leia mais

IME, UFF 7 de novembro de 2013

IME, UFF 7 de novembro de 2013 em Lógica de IME, UFF 7 de novembro de 2013 Sumário em... em Sintaxe da A lógica que estamos definindo é uma extensão de LS e é chamada de Lógica de Ordem,, por uma razão que será esclarecida mais adiante.

Leia mais

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu.

Raciocínio Lógico. Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu. Raciocínio Lógico Negação da Conjunção e Disjunção Inclusiva (Lei de Morgan) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico NEGAÇÃO DE UMA PROPOSIÇÃO COMPOSTA Agora vamos aprender

Leia mais

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO

UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO UNIVERSIDADE DO ESTADO DE MATO GROSSO CAMPUS UNIVERSITÁRIO DE SINOP FACULDADE DE CIÊNCIAS EXATAS E DA TERRA BACHARELADO EM SISTEMAS DE INFORMAÇÃO Álgebra de Boole Disciplina: Lógica Professora Dr.ª: Donizete

Leia mais

GFM015 Introdução à Computação. Plano de Curso e Introdução. Ilmério Reis da Silva UFU/FACOM

GFM015 Introdução à Computação. Plano de Curso e Introdução. Ilmério Reis da Silva  UFU/FACOM GFM015 Introdução à Computação Plano de Curso e Introdução Ilmério Reis da Silva ilmerio@facom.ufu.br www.facom.ufu.br/~ilmerio/ic UFU/FACOM Plano de Curso Ementa Noções básicas sobre os componentes de

Leia mais

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE

INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE 1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.

Leia mais

Conceitos Básicos Linguagem C

Conceitos Básicos Linguagem C Conceitos Básicos Linguagem C PROF. MAURÍCIO A DIAS MACDIASPAE@GMAIL.COM 2 Método Método básico para construção de algoritmos 1. Compreender completamente o problema a ser resolvido, se possível dividindo

Leia mais

Raciocínio Lógico Matemático. Pré Prova TST

Raciocínio Lógico Matemático. Pré Prova TST Raciocínio Lógico Matemático Pré Prova TST # DICA 1 # LEMBRAR-SE DOS CONJUNTOS NUMÉRICOS ELEMENTARES Números Naturais N = {0, 1, 2, 3, 4,... } Números Inteiros Z = {..., -4, -3, -2, -1, 0, 1, 2, 3,...

Leia mais

Algoritmos e Estrutura de Dados I Conceitos de Algoritmos. Prof. Elyssandro Piffer

Algoritmos e Estrutura de Dados I Conceitos de Algoritmos. Prof. Elyssandro Piffer Algoritmos e Estrutura de Dados I Conceitos de Algoritmos Prof. Elyssandro Piffer CONCEITO DE ALGORITMO O computador pode auxiliar em muitas tarefas, contudo ele não possui independência, não é inteligente,

Leia mais

MC-102 Aula 01. Instituto de Computação Unicamp

MC-102 Aula 01. Instituto de Computação Unicamp MC-102 Aula 01 Introdução à Programação de Computadores Instituto de Computação Unicamp 2016 Roteiro 1 Por que aprender a programar? 2 Hardware e Software 3 Organização de um ambiente computacional 4 Algoritmos

Leia mais

Lógica Computacional

Lógica Computacional Aula Teórica 2: da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade

Leia mais

Introdução à Programação I

Introdução à Programação I Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem

Leia mais

Gestão Empresarial Prof. Ânderson Vieira

Gestão Empresarial Prof. Ânderson Vieira NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas

Leia mais

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno

Fundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno Fundamentos de Lógica e Algoritmos Aula 1.2 Introdução a Lógica Booleana Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Você está viajando e o pneu do seu carro fura! 2 Quais são os passos para se trocar

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Informática I. Aula 6. Aula 6-18/09/2006 1

Informática I. Aula 6.  Aula 6-18/09/2006 1 Informática I Aula 6 http://www.ic.uff.br/~bianca/informatica1/ Aula 6-18/09/2006 1 Sobre o Trabalho 1 O trabalho deverá ser feito em grupos de 2 ou 3 alunos. Cada grupo deverá escolher um dos temas listados

Leia mais

Introdução à Computação

Introdução à Computação Conteúdo de hoje... Your Logo Here Prof. Lucas Amorim lucas@ic.ufal.br Tipos de dados Dados numéricos Inteiro Real Dados literais Dados lógicos Variáveis Introdução à Computação Tipos de dados, variáveis

Leia mais

Aula 4: Introdução à Linguagem C++

Aula 4: Introdução à Linguagem C++ CI208 - Programação de Computadores Aula 4: Introdução à Linguagem C++ Prof. MSc. Diego Roberto Antunes diegor@inf.ufpr.br www.inf.ufpr.br/diegor Universidade Federal do Paraná Setor de Ciências Exatas

Leia mais

Sistemas de Numeração

Sistemas de Numeração Sistemas de Numeração IFSULDEMINAS Campus Inconfidentes Curso Técnico em Infomática Disciplina: Fundamentos de Informática Prof. Maria de Fátima de Freitas Bueno Marcílio Introdução Um sistema de numeração

Leia mais

Conteúdo Programático

Conteúdo Programático Conteúdo Programático Conhecimentos Básicos Português Básico Gramática Sobre o curso: Ele é direcionado a todo aluno que pretende construir uma base sólida de conhecimentos fundamentais para resolver as

Leia mais

Sistemas de numeração

Sistemas de numeração Sistemas de numeração Aula 02 e 03 Prof. Msc. Arthur G. Bartsch Departamento de engenharia elétrica DEE Centro de ciências tecnológicas CCT Universidade do estado de Santa Catarina UDESC Álgebra de Boole

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

Conceitos introdutórios

Conceitos introdutórios Aula Conceitos introdutórios Prof. Tecgº Flávio Murilo Aula 2 Portas lógicas e Álgebra Booleana Prof. Tecgº Flávio Murilo 2 Álgebra Booleana Introdução Vimos anteriormente que os números binários não representam

Leia mais

Apresentação do curso

Apresentação do curso Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo

Leia mais

Lista 2 - Bases Matemáticas

Lista 2 - Bases Matemáticas Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo

Leia mais

Introdução à Computação

Introdução à Computação Introdução à Computação Programação para Engenharia Cinara Menegazzo 2016/01 1 Proposição: Afirmação que se faz a respeito de um domínio de problema João é inteligente. Maria é a melhor aluna da turma.

Leia mais

Métodos para a construção de algoritmo

Métodos para a construção de algoritmo Métodos para a construção de algoritmo Compreender o problema Identificar os dados de entrada e objetos desse cenário-problema Definir o processamento Identificar/definir os dados de saída Construir o

Leia mais

Matemática Régis Cortes. Lógica matemática

Matemática Régis Cortes. Lógica matemática Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos

Leia mais

Conceitos básicos sobre computadores (continuação)

Conceitos básicos sobre computadores (continuação) SSC0101 - ICC1 Teórica Introdução à Ciência da Computação I Conceitos básicos sobre computadores (continuação) Prof. Vanderlei Bonato Prof. Cláudio Fabiano Motta Toledo Sumário O que é um computador e

Leia mais

Sistemas de Numeração

Sistemas de Numeração Sistemas de Numeração Objetivos Conhecer representações numéricas para inteiros positivos (naturais) nas bases binária, hexadecimal e octal. Generalizar representações para qualquer base. Manipular fluentemente

Leia mais

Cursos: Análise, Ciência da Computação e Sistemas de Informação Laboratório I - Prof. Aníbal Notas de aula 2 SISTEMAS NUMÉRICOS

Cursos: Análise, Ciência da Computação e Sistemas de Informação Laboratório I - Prof. Aníbal Notas de aula 2 SISTEMAS NUMÉRICOS Cursos: Análise, Ciência da Computação e Sistemas de Informação Laboratório I - Prof. Aníbal Notas de aula 2 SISTEMAS NUMÉRICOS Para entender como o computador armazena as informações, é importante conhecer

Leia mais

Aula 3: Algoritmos: Formalização e Construção

Aula 3: Algoritmos: Formalização e Construção Aula 3: Algoritmos: Formalização e Construção Fernanda Passos Universidade Federal Fluminense Programação de Computadores IV Fernanda Passos (UFF) Algoritmos: Formalização e Pseudo-Código Programação de

Leia mais

ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site

ORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site !"#$%&"$!'!'"& '&()**+,(,-$%.!! /)(,-$'(),*0)**+ /'$/1'"%%!2%/! )**+, ORIENTAÇÃO Leia o Guia Logístico de Avaliação UNITINS publicado no site www.educon.br/unitins ATENÇÃO: 1. Verifique se a numeração

Leia mais

LÓGICA PROPOSICIONAL

LÓGICA PROPOSICIONAL LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:

Leia mais

Conteúdo Programático

Conteúdo Programático Conteúdo Programático Conhecimentos Básicos Português Básico Gramática Sobre o curso: Ele é direcionado a todo aluno que pretende construir uma base sólida de conhecimentos fundamentais para resolver as

Leia mais

Método das Tabelas para Validade Petrucio Viana

Método das Tabelas para Validade Petrucio Viana GAN00166: Lógica para Ciência da Computação Texto da Aula 8 Método das Tabelas para Validade Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Simbolização de argumentos 1 1.1 Observação................................

Leia mais

OBS.1: As palavras Se e então podem estar ocultas na. Proposição

OBS.1: As palavras Se e então podem estar ocultas na. Proposição RACIOCÍNIO LÓGICO PRO. IGOR BRASIL 1) Proposição: Observação!!! Não são proposições 1. 2. 3. 4. 5. 6. 7. 2) Conectivos São utilizados em proposições.» O conectivo e é conhecido por, representado pelo símbolo

Leia mais

Aula 01. Prof. Msc. Arthur G. Bartsch 2017/02

Aula 01. Prof. Msc. Arthur G. Bartsch 2017/02 Introdução à Álgebra de Boole Aula 01 Prof. Msc. Arthur G. Bartsch Departamento de engenharia elétrica DEE Centro de ciências tecnológicas CCT Universidade do estado de Santa Catarina UDESC Álgebra de

Leia mais

Linguagem Computacional

Linguagem Computacional Informática II Linguagem Computacional Algoritmos e Programação Parte 3 Prof. Dr. Adriano Cansian Prof. Dr. Leandro Alves Neves 1 Sumário Operações e Expressões q Definição q Operadores: Aritméticos. Relacionais.

Leia mais