Sistemas Computacionais e Lógica
|
|
- Eliana Machado de Mendonça
- 7 Há anos
- Visualizações:
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
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 maisComo 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 maisProf. 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 maisIntroduçã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 maisMatemá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 maisLó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 maisEletrô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 maisBases 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 maisCampos 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 maisProcessamento 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 maisMatemá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 maisDISCIPLINA: 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 maisLinguagem 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 maisGRATUITO 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 maisSistemas 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 maisMatemá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 maisDISCIPLINA: 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 maisNoçõ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 maisProfessor 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 maisProf. 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 maisReferê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 maisIntroduçã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 maisSistemas 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 maisApostila 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 maisSistemas 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 maisComputaçã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 maisRLM 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 maisIntroduçã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 maisORGANIZAÇÃ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 maisAula 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 maisProgramaçã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 maisRepresentaçã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 maisConstantes, 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 maisProposiçõ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 maisLó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 maisEletrô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 maisFACULDADE 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 maisAlgoritmo: 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 maisInformá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 maisI - 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 maisAula 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 maisFundamentos 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 maisInformá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 maisIniciaçã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 maisConcurso 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 mais1 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 maisAula 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 maisIntroduçã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 maisLó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 maisFaculdade 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 maisCapí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 maisSistemas 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 maisMatemá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 maisDisciplina: 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 maisCá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 maisLó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 maisCá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 maisAula 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 maisUnidades 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 maisDisciplina: 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 maisApresentaçã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 maisIME, 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 maisRaciocí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 maisUNIVERSIDADE 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 maisGFM015 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 maisINSTITUTO 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 maisConceitos 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 maisRaciocí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 maisAlgoritmos 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 maisMC-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 maisLó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 maisIntroduçã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 maisGestã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 maisFundamentos 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 maisIntroduçã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 maisInformá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 maisIntroduçã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 maisAula 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 maisSistemas 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 maisConteú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 maisSistemas 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 maisAfirmaçõ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 maisConceitos 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 maisApresentaçã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 maisLista 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 maisIntroduçã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 maisMé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 maisMatemá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 maisConceitos 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 maisSistemas 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 maisCursos: 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 maisAula 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 maisORIENTAÇÃ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 maisLÓ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 maisConteú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 maisMé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 maisOBS.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 maisAula 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 maisLinguagem 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