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

Download ""

Transcrição

1 Lógica para Computação Prof. Celso Antônio Alves Kaestner, D.E.E. celsokaestner (at) utfpr (dot) edu (dot) br

2 Introdução Lógica para Computação (IF61B) Três citações extraídas de Logique: Méthodes pour l informatique fondamentale, de Paul Gochet e Pascal Gribomont, Hermes, Paris, 1990: 1. É razoável esperar que a relação entre a computação e a lógica matemática produza tantos frutos... quanto a que se instalou entre a Análise Matemática e a Física no curso do século XIX (John McCarthy). 2

3 Introdução Lógica para Computação (IF61B) 2. Ao longo da maior parte do século XX, a Lógica Matemática foi principalmente utilizada para a introspecção. Como ferramenta para a criação de provas na prática cotidiana, ainda não teve sua chance. Para que possa realizar todas as potencialidades parece ser necessário conceber o objetivo da Lógica como sendo não de mimetizar o pensamento humano, mas como o de fornecer um substituto a este último na forma de um cálculo (Edsger Dijkstra). 3

4 Introdução Lógica para Computação (IF61B) 3. As conexões entre a Lógica e a Informática crescem e se aprofundam rapidamente. Ao lado da demonstração automática, da programação em lógica, da especificação e verificação de programas, outros setores revelam uma fascinante interação mútua com a Lógica, como a teoria de tipos, a teoria do paralelismo, a inteligência artificial, a teoria da complexidade, as bases de dados, a semântica operacional e as técnicas de compilação (José Meseguer). 4

5 Introdução Lógica para Computação (IF61B) História da Lógica: Lógica: 5

6 Introdução O que é Lógica? Lógica para Computação (IF61B) 1. O estudo da Lógica é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto ( Introdução à Lógica, Irving M. Copi, Ed. Mestre Jou, São Paulo, 1968); 2. A Lógica formal é uma ciência que determina as formas corretas (ou válidas) de raciocínio ( Noções de Lógica Formal, Joseph Dopp, Ed. Herder, São Paulo, 1970); 6

7 Introdução Lógica para Computação (IF61B) 3. Lógica é o estudo de argumentos. Um argumento é uma sequencia de enunciados na qual um dos enunciados é a conclusão e os demais são premissas, as quais servem para provar, ou pelo menos fornecer alguma evidência para a conclusão ( Lógica, John Nolt e Dennis Rohatyn, Makron Books, São Paulo, 1991). 7

8 Introdução Lógica para Computação (IF61B) 4. Lógica, hoje, designa uma vasta área do conhecimento, com implicações em praticamente todas os demais domínios da investigação. Da antiga disciplina que estudava "o raciocínio correto", ou as "formas válidas de inferência (ou de raciocínio)", a lógica transformou-se em uma disciplina que alcançou resultados que, em termos de complexidade e profundidade, nada ficam devendo aos maiores resultados da matemática. Alias, a lógica é, presentemente, uma disciplina de características matemáticas... (Newton C.A. da Costa). 8

9 Introdução Outros conceitos: Lógica para Computação (IF61B) Termos gerais (ou universais) X termos singulares (ou individuais); Designação por intenção X por extensão; Intenção: qualidades ou propriedades que constituem o conceito; Extensão: consiste dos elementos (exemplos) que constituem o conceito. 9

10 Introdução Lógica para Computação (IF61B) Conceito de proposição (desde Platão): Combinação de um substantivo e de um verbo, constituindo um sentença declarativa à qual se pode atribuir um valor verdade (no caso clássico, verdadeiro ou falso): O homem aprende ; O céu é azul ; Hoje é terça-feira. Observe que estão excluídas, entre outras, sentenças interrogativas, autoreferentes, etc. 10

11 A tradição aristotélica: lógica é o estudo da concepção, do julgamento, e do raciocínio; Os conceitos são expressos por termos gerais; Os julgamentos são expressos por proposições; Os raciocínios são sequencias de proposições. Em Aristóteles as proposições são constituídas por dois termos gerais ligados pelo verbo ser na forma é ou não é (cópula lógica). As proposições são relacionadas logicamente de acordo com o quadrado lógico ou tábua de oposições. 11

12 Tábua de oposições subalternas A I contrárias subcontrárias E O subalternas 12

13 Tipos de proposições e exemplos: A: afirmação universal (todo homem é mortal); E: negação universal (nenhum homem é mortal); I: afirmação particular (algum homem é mortal); O: negação particular (algum homem não é mortal). 13

14 Relacionamento entre proposições : A e E são ditos contrários; se a proposição A é verdadeira então E é falsa; A e O e também E e I são contraditórios: não podem ser nem verdadeiros nem falsos conjuntamente; I e O são subcontrários: não podem ser ambos falsos; I é subalterno de A, e O é subalterno de E; se A é verdadeira, I também o é, e se E é verdadeira então O também o é. 14

15 Relacionamento entre proposições: A existência de quatro tipos de proposições não é coincidência: representam as quatro relações possíveis entre as extensões dos termos gerais; O matemático Euler representou as quatro relações lógicas na forma de diagramas de conjuntos (diagramas de Venn-Euler). Se S é o termo sujeito e se P é um predicado então as proposições correspondem aos diagramas a seguir. 15

16 Proposição A: inclusão total (todo S é P) P S Proposição E: exclusão total (nenhum S é P) P S Proposição I: inclusão parcial de S em P (algum S é P) S P Proposição O: exclusão parcial de S em P (algum S não é P) S P 16

17 Os raciocínios lógicos ocorrem na forma de sequencias de proposições geradas por inferências imediatas obtidas da tábua de oposições; Um silogismo é um discurso no qual, estando dadas certas proposições premissas, uma nova proposição conclusão é obtida necessariamente e unicamente a partir das premissas; 17

18 Os silogismos são apresentados da seguinte forma: Premissa maior Premissa menor Conclusão O termo menor (S) é o sujeito da conclusão, o termo maior (P) é o predicado da conclusão, e o termo comum às premissas é o termo médio (M). 18

19 Exemplos: Todos os mamíferos são vertebrados (premissa maior) Todos os homens são mamíferos (premissa menor) portanto Todos os homens são vertebrados (conclusão). Neste caso o termo menor S é todos os homens, o termo maior P é vertebrados, e o termo médio M é mamíferos. Este silogismo tem portanto a forma: Todas as proposições são do tipo A. MP SM SP 19

20 Considerando que há 4 tipos de proposições (A,E,I e O) então há 4 3 = 64 silogismos por figura (ver abaixo), ou seja 256 silogismos no total; As figuras do silogismo são: 1ª figura 2ª figura 3ª figura 4ª figura Premissa maior MP PM MP PM Premissa menor SM SM MS MS Conclusão SP SP SP SP 20

21 Nem todos os silogismos são válidos; o estudo da Lógica por Aristóteles, e posteriormente na idade média, buscou separar os silogismos válidos, ou seja, aqueles em que a conclusão segue necessariamente das premissas; Pode-se deduzir a validade ou não de um silogismo a partir dos diagramas de Venn-Euler correspondentes; 21

22 Exemplo: Nenhum peixe (M) é mamífero (P) <tipo E>; Todos os robalos (S) são peixes (M) <tipo A>; portanto Nenhum robalo (S) é mamífero (P) <tipo E>. Ou, esquematicamente: MP <E> SM <A> SP <E> M S P 22

23 Exemplo: Todos os animais venenosos (M) são perigosos (P) <tipo A>; Algumas serpentes (S) são animais venenosos (M) <tipo I>; portanto Algumas serpentes (S) são perigosas (P) <tipo I>. Esquematicamente: MP <A> SM <I> SP <I> P M S 23

24 Em alguns casos os diagramas de Venn-Euler apresentam o inconveniente de admitir, para um mesmo silogismo, várias representações geométricas; Exemplo: MP <E> SM <I> SP <O> M M S S P P M S P 24

25 Verdade e validade (ou correção): Um silogismo é válido (correto) se e somente se (sse) a verdade da conclusão segue necessariamente da verdade das premissas; Os silogismos portanto transmitem a verdade das premissas à conclusão; Esta definição exclui a possibilidade de que um silogismo válido possa ter premissas verdadeiras e conclusão falsa; Isto não exclui a possibilidade de que a conclusão de um silogismo válido seja falsa; neste caso alguma das premissas é falsa. 25

26 Exemplo: Todos os animais marinhos são peixes; Todas as baleias são animais marinhos; portanto Todas as baleias são peixes. 26

27 Indique a forma do silogismo (termos, figura, diagrama), e indique se mesmo é válido ou não: a) Todos os gregos são homens; Todos os atenienses são gregos; Todos os atenienses são homens. b) Todos os socialistas são marxistas; Alguns governantes são marxistas; Alguns governantes são socialistas. c) Todas as ações penais são atos cruéis; Todos os processos por homicídio são ações penais; Todos os processos por homicídio são atos cruéis. 27

28 d) Alguns papagaios não são animais nocivos; Todos os papagaios são animais de estimação; Nenhum animal de estimação é nocivo. e) Nenhum ator dramático é um homem feliz; Alguns comediantes não são homens felizes; Alguns comediantes não são atores dramáticos. f) Todos os coelhos são corredores muito velozes; Alguns cavalos são corredores muito velozes; Alguns cavalos são coelhos. 28

29 Exercício similar, porém com a necessidade de determinar as proposições: a) Nenhum submarino de propulsão nuclear é um navio mercante, assim nenhum vaso de guerra é navio mercante, visto que todos os submarinos de propulsão nuclear são vasos de guerra; b) Alguns conservadores não são defensores de tarifas elevadas, porque todos os defensores de tarifas elevadas são republicanos, e alguns republicanos não são conservadores; c) Nenhum indivíduo obstinado que jamais admite um erro é bom professor; portanto, como algumas pessoas bem informadas são indivíduos obstinados que nunca admitem um erro, alguns bons professores não são pessoas bem informadas. 29

30 Introdução Atividades complementares: 1. Consulte os links indicados e navegue sobre assuntos relacionados à história da Lógica e à sua definição; 2. Pesquise a definição de paradoxo e exemplifique este conceito; 3. Encontre uma charada lógica e apresente sua solução. 30

Lógica para Computação (IF61B) Introdução à Lógica

Lógica para Computação (IF61B) Introdução à Lógica à Lógica Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof.

Leia mais

Lógica Matemática e Computacional. 3 Silogismo Categórico

Lógica Matemática e Computacional. 3 Silogismo Categórico Lógica Matemática e Computacional 3 Silogismo Categórico O silogismo categórico É uma forma particular de raciocínio dedutivo, constituída por três proposições categóricas (que afirmam ou negam algo de

Leia mais

Enunciados Categóricos

Enunciados Categóricos Enunciados Categóricos Origem Aristóteles fez um estudo minucioso de certos tipos básicos de argumentos, estabelecendo regras para distinguir os que são válidos daqueles que não o são. Estes últimos são

Leia mais

Quantificadores. Quantificador Universal. Quantificador Existencial. Seja um conjunto não vazio e ) uma propriedade associada aos elementos.

Quantificadores. Quantificador Universal. Quantificador Existencial. Seja um conjunto não vazio e ) uma propriedade associada aos elementos. Quantificadores Seja um conjunto não vazio e ) uma propriedade associada aos elementos. Quantificador Universal Se é verdade que todos os elementos de possuem tal propriedade, podemos afirmar que: Todo

Leia mais

Lógica Indutiva. Aula 4. Prof. André Martins

Lógica Indutiva. Aula 4. Prof. André Martins Lógica Indutiva Aula 4 Prof. André Martins É uma bruxa? Lógica Clássica (Dedutiva) Na Lógica Clássica, determinamos a veracidade de proposições a partir de outras proposições que julgamos verdadeiras.

Leia mais

Bases Matemáticas. Aula 2 Métodos de Demonstração. Rodrigo Hausen. v. 2013-7-31 1/15

Bases Matemáticas. Aula 2 Métodos de Demonstração. Rodrigo Hausen. v. 2013-7-31 1/15 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2013-7-31 1/15 Como o Conhecimento Matemático é Organizado Definições Definição: um enunciado que descreve o significado de um termo.

Leia mais

EXERCÍCIOS LÓGICA DE PRIMEIRA ORDEM - MODELOS

EXERCÍCIOS LÓGICA DE PRIMEIRA ORDEM - MODELOS EXERCÍCIOS LÓGICA DE PRIMEIRA ORDEM - MODELOS Lógica Prof. Tacla (UTFPR/Curitiba) assuntos: expressividade LP x LPO; modelos Conceituais 1. Explique a diferença em expressividade da Lógica Proposicional

Leia mais

Raciocínio Lógico - Parte II

Raciocínio Lógico - Parte II Apostila escrita pelo professor José Gonçalo dos Santos Contato: jose.goncalo.santos@gmail.com Raciocínio Lógico - Parte II Sumário 1. Operações Lógicas sobre Proposições... 1 2. Tautologia, contradição

Leia mais

Raciocínio Lógico - Parte IV

Raciocínio Lógico - Parte IV Apostila escrita pelo professor José Gonçalo dos Santos Contato: jose.goncalo.santos@gmail.com Raciocínio Lógico - Parte IV Sumário 1. Argumentação... 1 2. Regras de Inferência... 2 3. Regras de inferência...

Leia mais

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas

Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas Professor: Arthur Lima AULA 05: RESUMO Caro aluno, Para finalizar nosso curso, preparei um resumo de toda a teoria vista nas

Leia mais

Matemática Discreta - 03

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

Leia mais

Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional

Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional UFMG/ICEx/DCC DCC111 Matemática Discreta Lista de Exercícios 1: Soluções Fundamentos da Lógica Lógica Proposicional Ciências Exatas & Engenharias 2 o Semestre de 2015 1. Construa a tabela da verdade para

Leia mais

Parece claro que há uma, e uma só, conclusão a tirar destas proposições. Esa conclusão é:

Parece claro que há uma, e uma só, conclusão a tirar destas proposições. Esa conclusão é: Argumentos Dedutivos e Indutivos Paulo Andrade Ruas Introdução Em geral, quando se quer explicar que géneros de argumentos existem, começa-se por distinguir os argumentos dedutivos dos não dedutivos. A

Leia mais

Olá, amigo concurseiro. Após uma certa ausência, vamos a mais um tópico importante de Raciocínio Lógico.

Olá, amigo concurseiro. Após uma certa ausência, vamos a mais um tópico importante de Raciocínio Lógico. Olá, amigo concurseiro. Após uma certa ausência, vamos a mais um tópico importante de Raciocínio Lógico. Haverá momentos em que a Lógica Proposicional sofrerá algumas limitações. Quando certos tipos de

Leia mais

Este material traz a teoria necessária à resolução das questões propostas.

Este material traz a teoria necessária à resolução das questões propostas. Inclui Teoria e Questões Inteiramente Resolvidas dos assuntos: Contagem: princípio aditivo e multiplicativo. Arranjo. Permutação. Combinação simples e com repetição. Lógica sentencial, de primeira ordem

Leia mais

Representação de Conhecimento. Lógica Proposicional

Representação de Conhecimento. Lógica Proposicional Representação de Conhecimento Lógica Proposicional Representação de conhecimento O que éconhecimento? O que érepresentar? Representação mental de bola Representação mental de solidariedade Símbolo como

Leia mais

MÓDULO 6 INTRODUÇÃO À PROBABILIDADE

MÓDULO 6 INTRODUÇÃO À PROBABILIDADE MÓDULO 6 INTRODUÇÃO À PROBBILIDDE Quando estudamos algum fenômeno através do método estatístico, na maior parte das vezes é preciso estabelecer uma distinção entre o modelo matemático que construímos para

Leia mais

A TEORIA DA PROPOSIÇÃO APRESENTADA NO PERIÉRMENEIAS: AS DIVISÃO DAS PRO- POSIÇÕES DO JUÍZO.

A TEORIA DA PROPOSIÇÃO APRESENTADA NO PERIÉRMENEIAS: AS DIVISÃO DAS PRO- POSIÇÕES DO JUÍZO. A TEORIA DA PROPOSIÇÃO APRESENTADA NO PERIÉRMENEIAS: AS DIVISÃO DAS PRO- POSIÇÕES DO JUÍZO. Ac. Denise Carla de Deus (PIBIC/CNPq/UFSJ 2000-2002) Orientadora: Prof. Dra. Marilúze Ferreira Andrade e Silva

Leia mais

Introdução, motivação e conjuntos fuzzy

Introdução, motivação e conjuntos fuzzy Lógica Fuzzy Introdução, motivação e conjuntos fuzzy Professor: Mário Benevides Monitores: Bianca Munaro Diogo Borges Jonas Arêas Renan Iglesias Vanius Farias Introdução "A lógica difusa tem por objetivo

Leia mais

Breve Histórico do Raciocínio Lógico

Breve Histórico do Raciocínio Lógico Breve Histórico do Raciocínio Lógico Enquanto muitas culturas tenham usado complicados sistemas de raciocínio, somente na China, Índia e Grécia os métodos de raciocínio tiveram um desenvolvimento sustentável.

Leia mais

A lógica de programação ajuda a facilitar o desenvolvimento dos futuros programas que você desenvolverá.

A lógica de programação ajuda a facilitar o desenvolvimento dos futuros programas que você desenvolverá. INTRODUÇÃO A lógica de programação é extremamente necessária para as pessoas que queiram trabalhar na área de programação, seja em qualquer linguagem de programação, como por exemplo: Pascal, Visual Basic,

Leia mais

A TEORIA DA CORRESPONDÊNCIA COMO MEIO DE SE CHEGAR À VERDADE (2012) 1

A TEORIA DA CORRESPONDÊNCIA COMO MEIO DE SE CHEGAR À VERDADE (2012) 1 A TEORIA DA CORRESPONDÊNCIA COMO MEIO DE SE CHEGAR À VERDADE (2012) 1 SIQUEIRA, Grégori Lopes 2 ; SILVA, Mitieli Seixas da 3 1 Trabalho de Pesquisa _UNIFRA. 2 Acadêmico do Curso de Filosofia do Centro

Leia mais

A MÁQUINA INTELIGENTE. O longo caminho do pensamento mecanizado Júlio Cesar da Silva - juliocesar@eloquium.com.br

A MÁQUINA INTELIGENTE. O longo caminho do pensamento mecanizado Júlio Cesar da Silva - juliocesar@eloquium.com.br A MÁQUINA INTELIGENTE O longo caminho do pensamento mecanizado Júlio Cesar da Silva - juliocesar@eloquium.com.br APRESENTAÇÃO Júlio Cesar da Silva Mestrando em Administração MBA em Gestão da Tecnologia

Leia mais

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Disciplina: Matemática Computacional Prof. Diana de Barros Teles AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Quantificadores: são frases do tipo para todo, ou para cada, ou para algum, isso é, frases

Leia mais

Lógica Computacional. Argumentos válidos e sólidos. Métodos de Demonstração. Demonstrações formais. Regras de Inferência Igualdade

Lógica Computacional. Argumentos válidos e sólidos. Métodos de Demonstração. Demonstrações formais. Regras de Inferência Igualdade Lógica Computacional Argumentos válidos e sólidos Métodos de Demonstração Demonstrações formais Regras de Inferência Igualdade Não-consequências lógicas 6 Março 2013 Lógica Computacional 1 Argumentos Exemplo:

Leia mais

Exercícios resolvidos sobre Definição de Probabilidade

Exercícios resolvidos sobre Definição de Probabilidade Exercícios resolvidos sobre Definição de Probabilidade Nesta Unidade de estudo, até este ponto você aprendeu definições de probabilidade e viu como os conceitos se aplicam a várias situações. Observe agora

Leia mais

ALGORITMOS PARTE 01. Fabricio de Sousa Pinto

ALGORITMOS PARTE 01. Fabricio de Sousa Pinto ALGORITMOS PARTE 01 Fabricio de Sousa Pinto Algoritmos: Definição 2 É uma sequência de instruções finita e ordenada de forma lógica para a resolução de uma determinada tarefa ou problema. Algoritmos 3

Leia mais

Tópico para o exame de admissão 2016

Tópico para o exame de admissão 2016 . INSTITUTO SUPERIOR DE CIÊNCIAS DA EDUCAÇÃO-ISCED/Luanda DEPARTAMENTO DE CIÊNCIAS SOCIAIS CURSO DE FILOSOFIA Tópico para o exame de admissão 2016 1. EMERGÊNCIA DE FILOSOFIA As diversas maneiras de definir

Leia mais

ICC Introdução para JavaScript

ICC Introdução para JavaScript ICC Introdução para JavaScript Arquitetura Genérica de um Computador Máquina de Von Neumann Diagrama conhecido como Máquina de Von Neumann (grande nome da informática) A finalidade de um computador é receber,

Leia mais

EQUAÇÕES E INEQUAÇÕES DE 1º GRAU

EQUAÇÕES E INEQUAÇÕES DE 1º GRAU 1 EQUAÇÕES E INEQUAÇÕES DE 1º GRAU Equação do 1º grau Chamamos de equação do 1º grau em uma incógnita x, a qualquer expressão matemática que pode ser escrita sob a forma: em que a e b são números reais,

Leia mais

Construção de tabelas verdades

Construção de tabelas verdades Construção de tabelas verdades Compreender a Lógica como instrumento da ciência e como estrutura formal do pensamento, conhecendo e compreendendo as operações com os principais conceitos proposicionais

Leia mais

Idealismo - corrente sociológica de Max Weber, se distingui do Positivismo em razão de alguns aspectos:

Idealismo - corrente sociológica de Max Weber, se distingui do Positivismo em razão de alguns aspectos: A CONTRIBUIÇÃO DE MAX WEBER (1864 1920) Max Weber foi o grande sistematizador da sociologia na Alemanha por volta do século XIX, um pouco mais tarde do que a França, que foi impulsionada pelo positivismo.

Leia mais

SOCIEDADE E TEORIA DA AÇÃO SOCIAL

SOCIEDADE E TEORIA DA AÇÃO SOCIAL SOCIEDADE E TEORIA DA AÇÃO SOCIAL INTRODUÇÃO O conceito de ação social está presente em diversas fontes, porém, no que se refere aos materiais desta disciplina o mesmo será esclarecido com base nas idéias

Leia mais

16. A relatividade especial e a experiência / 63 17. O espaço quadridimensional de Minkowski / 68

16. A relatividade especial e a experiência / 63 17. O espaço quadridimensional de Minkowski / 68 Sumário Prefácio A. Einstein / 9 Primeira parte A teoria da relatividade especial / 11 1. Conteúdo físico dos teoremas geométricos / 13 2. O sistema de coordenadas / 17 3. Espaço e tempo na mecânica clássica

Leia mais

Complemento III Noções Introdutórias em Lógica Nebulosa

Complemento III Noções Introdutórias em Lógica Nebulosa Complemento III Noções Introdutórias em Lógica Nebulosa Esse documento é parte integrante do material fornecido pela WEB para a 2ª edição do livro Data Mining: Conceitos, técnicas, algoritmos, orientações

Leia mais

Representação do Conhecimento

Representação do Conhecimento UNIVERSIDADE TÉCNICA DE LISBOA INSTITUTO SUPERIOR TÉCNICO Representação do Conhecimento Licenciatura em Engenharia Informática e de Computadores Repescagem Segundo teste 0 de Julho de 004, 9:00H 0:0H Nome:

Leia mais

A linguagem da Lógica Proposicional (Capítulo 1)

A linguagem da Lógica Proposicional (Capítulo 1) A linguagem da Lógica Proposicional (Capítulo 1) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Alfabeto 3. Fórmulas bem formadas (FBF) 4. Exemplos

Leia mais

OBI2013 Caderno de Soluções

OBI2013 Caderno de Soluções OBI2013 Caderno de Soluções Modalidade Iniciação Nível 1, Fase 1 18 de maio de 2013 Promoção: Patrocínio: Olimpíada Brasileira de Informática OBI2013 1 Gincana de Programação A SBC vai promover a primeira

Leia mais

MAT 461 Tópicos de Matemática II Aula 3: Resumo de Probabilidade

MAT 461 Tópicos de Matemática II Aula 3: Resumo de Probabilidade MAT 461 Tópicos de Matemática II Aula 3: Resumo de Probabilidade Edson de Faria Departamento de Matemática IME-USP 19 de Agosto, 2013 Probabilidade: uma Introdução / Aula 3 1 Probabilidade Discreta: Exemplos

Leia mais

Lógica Formal. Lógica Proposicional. Lógica Proposicional. Enigma motivador. Visão geral do estudo da Lógica

Lógica Formal. Lógica Proposicional. Lógica Proposicional. Enigma motivador. Visão geral do estudo da Lógica Enigma motivador Lógica Formal Lógica Proposicional UNIVERSIDADE FEDERAL DE ALAGOAS Lógica, Informática e Comunicação Prof. Rômulo Nunes de Oliveira O Sr. Justino, apesar de trabalhador, não estava indo

Leia mais

MD Teoria dos Conjuntos 1

MD Teoria dos Conjuntos 1 Teoria dos Conjuntos Renato Martins Assunção assuncao@dcc.ufmg.br Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br MD Teoria dos Conjuntos 1 Introdução O que os seguintes objetos têm em comum? um

Leia mais

CASOS PARTICULARES S + S + A Obs:

CASOS PARTICULARES S + S + A Obs: 1) Regra geral Palavra que acompanha substantivo concorda com ele. Ex.: O aluno. Os alunos. A aluna. As alunas. Meu livro. Meus livros. Minha pasta. Minhas pastas. Garoto alto. Garotos altos. Garota alta.

Leia mais

CURSO: TÉCNICO EM INFORMÁTICA NA MODALIDADE EAD

CURSO: TÉCNICO EM INFORMÁTICA NA MODALIDADE EAD LÓGIC DE PROGRMÇÃO CURSO: TÉCNICO EM INFORMÁTIC N MODLIDDE ED Disciplina: Lógica de Programação Profa. Jaqueline F. Domenciano Meu nome é Jaqueline F. Domenciano. Sou Especialista em Educação à Distância,

Leia mais

3.1 Definições Uma classe é a descrição de um tipo de objeto.

3.1 Definições Uma classe é a descrição de um tipo de objeto. Unified Modeling Language (UML) Universidade Federal do Maranhão UFMA Pós Graduação de Engenharia de Eletricidade Grupo de Computação Assunto: Diagrama de Classes Autoria:Aristófanes Corrêa Silva Adaptação:

Leia mais

AMBIENTE PARA AUXILIAR O DESENVOLVIMENTO DE PROGRAMAS MONOLÍTICOS

AMBIENTE PARA AUXILIAR O DESENVOLVIMENTO DE PROGRAMAS MONOLÍTICOS UNIVERSIDADE REGIONAL DE BLUMENAU CENTRO DE CIÊNCIAS EXATAS E NATURAIS CURSO DE CIÊNCIAS DA COMPUTAÇÃO BACHARELADO AMBIENTE PARA AUXILIAR O DESENVOLVIMENTO DE PROGRAMAS MONOLÍTICOS Orientando: Oliver Mário

Leia mais

Filosofia na Antiguidade Clássica Sócrates, Platão e Aristóteles. Profa. Ms. Luciana Codognoto

Filosofia na Antiguidade Clássica Sócrates, Platão e Aristóteles. Profa. Ms. Luciana Codognoto Filosofia na Antiguidade Clássica Sócrates, Platão e Aristóteles Profa. Ms. Luciana Codognoto Períodos da Filosofia Grega 1- Período pré-socrático: (VII e VI a.c): início do processo de desligamento entre

Leia mais

Por que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,...

Por que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,... Por que o quadrado de terminados em 5 e ta o fa cil? Ex.: 15²=225, 75²=5625,... 0) O que veremos na aula de hoje? Um fato interessante Produtos notáveis Equação do 2º grau Como fazer a questão 5 da 3ª

Leia mais

DIREITO CIVIL EXERCÍCIOS SUCESSÕES DISCURSIVAS:

DIREITO CIVIL EXERCÍCIOS SUCESSÕES DISCURSIVAS: DIREITO CIVIL EXERCÍCIOS SUCESSÕES DISCURSIVAS: 1. Capacidade para suceder é a aptidão da pessoa para receber os bens deixados pelo de cujus no tempo da abertura da sucessão. Considerando tal afirmação

Leia mais

Assim, de acordo com as regras do campeonato temos a seguinte tabela dos dois times:

Assim, de acordo com as regras do campeonato temos a seguinte tabela dos dois times: Raciocínio Lógico- Vinicius Werneck 1. Em um campeonato de futebol, a pontuação acumulada de um time é a soma dos pontos obtidos em cada jogo disputado. Por jogo, cada time ganha três pontos por vitória,

Leia mais

Instalações Máquinas Equipamentos Pessoal de produção

Instalações Máquinas Equipamentos Pessoal de produção Fascículo 6 Arranjo físico e fluxo O arranjo físico (em inglês layout) de uma operação produtiva preocupa-se com o posicionamento dos recursos de transformação. Isto é, definir onde colocar: Instalações

Leia mais

Lógica Formal e Booleana. Cálculo Proposicional

Lógica Formal e Booleana. Cálculo Proposicional Lógica Formal e Booleana Cálculo Proposicional lara.popov@ifsc.edu.br Charada: uma introdução ao uso de símbolos Um homem estava olhando uma foto, e alguém lhe perguntou: - De quem é esta foto? Ao que

Leia mais

I OS GRANDES SISTEMAS METAFÍSICOS

I OS GRANDES SISTEMAS METAFÍSICOS I OS GRANDES SISTEMAS METAFÍSICOS A principal preocupação de Descartes, diante de uma tradição escolástica em que as espécies eram concebidas como entidades semimateriais, semi-espirituais, é separar com

Leia mais

3. Tipos de Dados, Constantes e Variáveis.

3. Tipos de Dados, Constantes e Variáveis. 3. Tipos de Dados, Constantes e Variáveis. O computador realiza a sua tarefa trabalhando as informações contidas em sua memória, essas podem ser classificadas em dois tipos básicos: as instruções e os

Leia mais

Conclusões sobre Proposições

Conclusões sobre Proposições Lógica Programação Proposições Conclusões sobre Proposições 1 Duas proposições universais contrárias não podem ser verdadeiras ao mesmo tempo, mas podem ser falsas ao mesmo tempo. 2 Duas proposições particulares

Leia mais

Katia Luciana Sales Ribeiro Keila de Souza Almeida José Nailton Silveira de Pinho. Resenha: Marx (Um Toque de Clássicos)

Katia Luciana Sales Ribeiro Keila de Souza Almeida José Nailton Silveira de Pinho. Resenha: Marx (Um Toque de Clássicos) Katia Luciana Sales Ribeiro José Nailton Silveira de Pinho Resenha: Marx (Um Toque de Clássicos) Universidade Estadual de Montes Claros / UNIMONTES abril / 2003 Katia Luciana Sales Ribeiro José Nailton

Leia mais

AULA 6 LÓGICA DOS CONJUNTOS

AULA 6 LÓGICA DOS CONJUNTOS Disciplina: Matemática Computacional Crédito do material: profa. Diana de Barros Teles Prof. Fernando Zaidan AULA 6 LÓGICA DOS CONJUNTOS Intuitivamente, conjunto é a coleção de objetos, que em geral, tem

Leia mais

Resíduos Quadráticos e Fatoração: uma aplicação à criptoanálise do RSA

Resíduos Quadráticos e Fatoração: uma aplicação à criptoanálise do RSA Resíduos Quadráticos e Fatoração: uma aplicação à criptoanálise do RSA Charles F. de Barros 20 de novembro de 2008 Resumo Faremos uma breve introdução ao conceito de resíduos quadráticos, descrevendo em

Leia mais

Prova de Raciocínio Lógico - Edição setembro de 2007

Prova de Raciocínio Lógico - Edição setembro de 2007 Prova de Raciocínio Lógico - Edição setembro de 2007 1. Em uma determinada maternidade estavam num mesmo quarto cinco mães: Marta, Juliana, Vanessa, Giovana e Rosa, e suas filhas: Betina, Clara, Renata,

Leia mais

RACIOCÍNIO LÓGICO SEMANA 04

RACIOCÍNIO LÓGICO SEMANA 04 1) (FCC/TRT-PR) Considere a seguinte proposição: Na eleição para a prefeitura, o candidato A será eleito ou não será eleito. Do ponto de vista lógico, a afirmação da proposição caracteriza: (A) um silogismo;

Leia mais

Oficina de Multimédia B. ESEQ 12º i 2009/2010

Oficina de Multimédia B. ESEQ 12º i 2009/2010 Oficina de Multimédia B ESEQ 12º i 2009/2010 Conceitos gerais Multimédia Hipertexto Hipermédia Texto Tipografia Vídeo Áudio Animação Interface Interacção Multimédia: É uma tecnologia digital de comunicação,

Leia mais

Apostila de Fundamentos de Programação I. Prof.: André Luiz Montevecchi

Apostila de Fundamentos de Programação I. Prof.: André Luiz Montevecchi Apostila de Fundamentos de Programação I Prof: André Luiz Montevecchi Introdução O mundo atual é dependente da tecnologia O uso intenso de diversos aparatos tecnológicos é parte integrante do nosso dia-a-dia

Leia mais

¹CPTL/UFMS, Três Lagoas, MS,Brasil, oliveiralimarafael@hotmail.com. ²CPTL/UFMS, Três Lagoas, MS, Brasil.

¹CPTL/UFMS, Três Lagoas, MS,Brasil, oliveiralimarafael@hotmail.com. ²CPTL/UFMS, Três Lagoas, MS, Brasil. Encontro de Ensino, Pesquisa e Extensão, Presidente Prudente, 22 a 25 de outubro, 2012 36 INTRODUÇÃO A CRIPTOGRAFIA RSA Rafael Lima Oliveira¹, Prof. Dr. Fernando Pereira de Souza². ¹CPTL/UFMS, Três Lagoas,

Leia mais

Curso Introdução à Educação Digital - Carga Horária: 40 horas (30 presenciais + 10 EaD)

Curso Introdução à Educação Digital - Carga Horária: 40 horas (30 presenciais + 10 EaD) ******* O que é Internet? Apesar de muitas vezes ser definida como a "grande rede mundial de computadores, na verdade compreende o conjunto de diversas redes de computadores que se comunicam e que permitem

Leia mais

Estruturas Discretas INF 1631

Estruturas Discretas INF 1631 Estruturas Discretas INF 1631 Thibaut Vidal Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro Rua Marquês de São Vicente, 225 - Gávea, Rio de Janeiro - RJ, 22451-900, Brazil

Leia mais

Filosofia. Lógica. Lógica. Prof. José Fernando da Silva. Lógica:Proposições categoriais e silogismo aristotélico

Filosofia. Lógica. Lógica. Prof. José Fernando da Silva. Lógica:Proposições categoriais e silogismo aristotélico Filosofia Prof. José Fernando da Silva :Proposições categoriais e silogismo aristotélico A demonstração de um argumento coincide com a realização de uma operação de dedução. De acordo com Aristóteles,

Leia mais

O ENSINO DE FILOSOFIA COMO UMA INTEGRAÇÃO DIALÉTICA

O ENSINO DE FILOSOFIA COMO UMA INTEGRAÇÃO DIALÉTICA O ENSINO DE FILOSOFIA COMO UMA INTEGRAÇÃO DIALÉTICA SIQUEIRA, Grégori Lopes Acadêmico do Curso de Filosofia UNIFRA Email: gregsiqueira@yahoo.com.br BRIXNER, Israel Acadêmico do Curso de Filosofia - UNIFRA

Leia mais

Aula 4 Pseudocódigo Tipos de Dados, Expressões e Variáveis

Aula 4 Pseudocódigo Tipos de Dados, Expressões e Variáveis 1. TIPOS DE DADOS Todo o trabalho realizado por um computador é baseado na manipulação das informações contidas em sua memória. Estas informações podem ser classificadas em dois tipos: As instruções, que

Leia mais

MÉTODO CIENTÍFICO. BENEFÍCIOS DO MÉTODO: execução de atividade de forma mais segura, mais econômica e mais perfeita;

MÉTODO CIENTÍFICO. BENEFÍCIOS DO MÉTODO: execução de atividade de forma mais segura, mais econômica e mais perfeita; MÉTODO CIENTÍFICO CONCEITO: palavra de origem grega, significa o conjunto de etapas e processos a serem vencidos ordenadamente na investigação da verdade; IMPORTÃNCIA DO MÉTODO: pode validar ou invalidar

Leia mais

Algumas vantagens da Teoria das Descrições Definidas (Russel 1905)

Algumas vantagens da Teoria das Descrições Definidas (Russel 1905) Textos / Seminário de Orientação - 12 de Março de 2005 - Fernando Janeiro Algumas vantagens da Teoria das Descrições Definidas (Russel 1905) Assume-se que o objecto de uma teoria semântica é constituído

Leia mais

PROJETO DE PESQUISA. Antonio Joaquim Severino 1. Um projeto de bem elaborado desempenha várias funções:

PROJETO DE PESQUISA. Antonio Joaquim Severino 1. Um projeto de bem elaborado desempenha várias funções: PROJETO DE PESQUISA Antonio Joaquim Severino 1 Um projeto de bem elaborado desempenha várias funções: 1. Define e planeja para o próprio orientando o caminho a ser seguido no desenvolvimento do trabalho

Leia mais

FILOSOFIA. Fernando Pessoa FILOSOFIA

FILOSOFIA. Fernando Pessoa FILOSOFIA Fernando Pessoa FILOSOFIA FILOSOFIA Se há um assunto eminentemente filosófico é a classificação das ciências. Pertence à filosofia e a nenhuma outra ciência. É só no ponto de vista mais genérico que podemos

Leia mais

Avaliação em filosofia: conteúdos e competências

Avaliação em filosofia: conteúdos e competências Avaliação em filosofia: conteúdos e competências Desidério Murcho Universidade Federal de Ouro Preto desiderio@ifac.ufop.br 1 Immanuel Kant O jovem que completou a sua instrução escolar habituou- se a

Leia mais

O PROJETO DE PESQUISA. Prof. Angelo Augusto Frozza, M.Sc. http://about.me/tilfrozza

O PROJETO DE PESQUISA. Prof. Angelo Augusto Frozza, M.Sc. http://about.me/tilfrozza O PROJETO DE PESQUISA Prof. Angelo Augusto Frozza, M.Sc. http://about.me/tilfrozza ROTEIRO Escolher um tema de pesquisa Por onde começar? Ler para aprender Estrutura do Projeto de Pesquisa A Definição

Leia mais

Capítulo 3 Lógica silogística

Capítulo 3 Lógica silogística 57-84 2008.02.11 22:45 Página 57 Capítulo 3 Lógica silogística Neste capítulo estudamos alguns aspectos da lógica criada por Aristóteles (384-322 a.c.), tal como foi mais tarde sistematizada. Estudamos

Leia mais

Profa. Andréa Cardoso UNIFAL-MG MATEMÁTICA-LICENCIATURA 2015/1

Profa. Andréa Cardoso UNIFAL-MG MATEMÁTICA-LICENCIATURA 2015/1 Profa. Andréa Cardoso UNIFAL-MG MATEMÁTICA-LICENCIATURA 2015/1 Aula 14: A Matemática Grega: Pitágoras e os Pitagóricos 17/04/2015 2 Pitágoras de Samos Aproximadamente 572 a.c. Discípulo de Tales de Mileto,

Leia mais

percebe diferença e qual?

percebe diferença e qual? 1 percebe diferença e qual? este ano ficou melhor 1 os cursos/qualificação 2 aulas de informática/internet 5 ter 2 diplomas 1 chances de emprego 1 mais oportunidades 1 diminuiu o tempo para a conclusão

Leia mais

Engenharia de Software III

Engenharia de Software III Engenharia de Software III Casos de uso http://dl.dropbox.com/u/3025380/es3/aula6.pdf (flavio.ceci@unisul.br) 09/09/2010 O que são casos de uso? Um caso de uso procura documentar as ações necessárias,

Leia mais

José Luiz de Morais. RACiOCÍNIO LÓGICO

José Luiz de Morais. RACiOCÍNIO LÓGICO RACIOCÍNIO LÓGICO José Luiz de Morais RACiOCÍNIO LÓGICO RACIOCÍNIO LÓGICO Prof José Luiz de Morais PROPOSIÇÕES Proposições Simples Proposições Simples Proposição simples átomo ou partícula atômica É a

Leia mais

Gestão de Projetos GNG- 103

Gestão de Projetos GNG- 103 Gestão de Projetos GNG- 103 GNG-103 Gestão de Projetos Definir metas e objetivos do projeto Conciliar entregas Descobrir requisitos Determinar premissas e restrições Compilando a declaracao do escopo do

Leia mais

dóxa e epistéme. sensível e inteligível. fé e razaão.

dóxa e epistéme. sensível e inteligível. fé e razaão. dóxa e epistéme. sensível e inteligível. fé e razaão. Senso comum... aranha caranguejeira ou aranha-marrom? Epistemologia Moderna e Contemporânea EPISTEMOLOGIA investiga o conhecimento. limites. possibilidades.

Leia mais

SUGESTÕES PARA ARTICULAÇÃO ENTRE O MESTRADO EM DIREITO E A GRADUAÇÃO

SUGESTÕES PARA ARTICULAÇÃO ENTRE O MESTRADO EM DIREITO E A GRADUAÇÃO MESTRADO SUGESTÕES PARA ARTICULAÇÃO ENTRE O MESTRADO EM DIREITO E A GRADUAÇÃO Justificativa A equipe do mestrado em Direito do UniCEUB articula-se com a graduação, notadamente, no âmbito dos cursos de

Leia mais

Unidade 2. Lógica de Predicados. Objetivos:

Unidade 2. Lógica de Predicados. Objetivos: Unidade 2 Lógica de Predicados Objetivos: Conhecer a linguagem formal Lógica de Predicados, assim como gerar fórmulas bem formadas nessa linguagem, a atribuição de valor verdade às fórmulas envolvendo

Leia mais

Universidade Federal do ABC. BC 0004 Bases Epistemológicas da Ciência Moderna. Prof. Valter A. Bezerra. Prelúdio aos sistemas conceituais da ciência

Universidade Federal do ABC. BC 0004 Bases Epistemológicas da Ciência Moderna. Prof. Valter A. Bezerra. Prelúdio aos sistemas conceituais da ciência Universidade Federal do ABC BC 0004 Bases Epistemológicas da Ciência Moderna Prof. Valter A. Bezerra Prelúdio aos sistemas conceituais da ciência Proposições 54.42 e 54.43 do Vol. I do Principia Mathematica

Leia mais

PROF. LUIZ CARLOS MOREIRA SANTOS

PROF. LUIZ CARLOS MOREIRA SANTOS 1 - CONCEITO PROF. LUIZ CARLOS MOREIRA SANTOS CONJUNTOS Conjunto proporciona a idéia de coleção, admitindo-se coleção de apenas um elemento (conjunto unitário) e coleção sem nenhum elemento (conjunto vazio).

Leia mais

John Locke (1632-1704) Colégio Anglo de Sete Lagoas - Professor: Ronaldo - (31) 2106-1750

John Locke (1632-1704) Colégio Anglo de Sete Lagoas - Professor: Ronaldo - (31) 2106-1750 John Locke (1632-1704) Biografia Estudou na Westminster School; Na Universidade de Oxford obteve o diploma de médico; Entre 1675 e 1679 esteve na França onde estudou Descartes (1596-1650); Na Holanda escreveu

Leia mais

Probabilidade. Definições e Conceitos

Probabilidade. Definições e Conceitos Probabilidade Definições e Conceitos Definições Probabilidade Medida das incertezas relacionadas a um evento Chances de ocorrência de um evento Aplicação em: Avaliação de Desempenho de Sistemas Engenharia

Leia mais

Pesquisa sobre o Perfil dos Empreendedores e das Empresas Sul Mineiras

Pesquisa sobre o Perfil dos Empreendedores e das Empresas Sul Mineiras Pesquisa sobre o Perfil dos Empreendedores e das Empresas Sul Mineiras 2012 2 Sumário Apresentação... 3 A Pesquisa Perfil dos Empreendedores Sul Mineiros Sexo. 4 Estado Civil.. 5 Faixa Etária.. 6 Perfil

Leia mais

A CONSTRUÇÃO DE MATERIAIS VIRTUAIS INTERATIVOS EM CURSO DE FORMAÇÃO CONTINUADA

A CONSTRUÇÃO DE MATERIAIS VIRTUAIS INTERATIVOS EM CURSO DE FORMAÇÃO CONTINUADA A CONSTRUÇÃO DE MATERIAIS VIRTUAIS INTERATIVOS EM CURSO DE FORMAÇÃO CONTINUADA GT 06 Formação de professores de matemática: práticas, saberes e desenvolvimento profissional Tânia Michel Pereira UNIJUÍ

Leia mais

Curso Técnico em Redes

Curso Técnico em Redes Curso Técnico em Redes Prof. Airton Ribeiro - 2012 Histórico das Linguagens de Programação O que é? É um método padronizado para expressar instruções para um computador. É um conjunto de regras sintáticas

Leia mais

Painel de Incêndio Convencional Série 500 Tão fácil como aprender o alfabeto

Painel de Incêndio Convencional Série 500 Tão fácil como aprender o alfabeto Painel de Incêndio Convencional Série 500 Tão fácil como aprender o alfabeto 2 Um Painel de Incêndio fácil de instalar, configurar, manter e utilizar. Ecrã LCD com indicação de estado para todas as zonas

Leia mais

LISTA DE EXERCÍCIOS. CONTEÚDO: LÓGICA E TEORIA DOS CONJUNTOS PROFESSORES: João Mendes e Alexandrino

LISTA DE EXERCÍCIOS. CONTEÚDO: LÓGICA E TEORIA DOS CONJUNTOS PROFESSORES: João Mendes e Alexandrino CONTEÚDO: LÓGICA E TEORIA DOS CONJUNTOS PROFESSORES: João Mendes e Alexandrino LISTA DE EXERCÍCIOS 01. Roberto, Sérgio, Carlos, Joselias e Aldo estão trabalhando em um projeto, onde cada um exerce uma

Leia mais

Lógica. Everson Santos Araujo everson@por.com.br

Lógica. Everson Santos Araujo everson@por.com.br Lógica Everson Santos Araujo everson@por.com.br Conceitos Coerência de raciocínio, de idéias, ou ainda a sequência coerente, regular e necessária de acontecimentos, de coisas Dicionário Aurélio 2 Conceitos

Leia mais

Apresentação. Ronir Raggio Luiz Claudio José Struchiner

Apresentação. Ronir Raggio Luiz Claudio José Struchiner Apresentação Ronir Raggio Luiz Claudio José Struchiner SciELO Books / SciELO Livros / SciELO Libros LUIZ, RR., and STRUCHINER, CJ. Inferência causal em epidemiologia: o modelo de respostas potenciais [online].

Leia mais

Algoritmos e Linguagem de Programação de Computadores I

Algoritmos e Linguagem de Programação de Computadores I Algoritmos e Linguagem de Programação de Computadores I Ricardo José Cabeça de Souza www.ricardojcsouza.com.br OBJETIVOS Apresentar conceitos básicos de algoritmos e sua importância na elaboração de soluções

Leia mais

Permissões de compartilhamento e NTFS - Parte 1

Permissões de compartilhamento e NTFS - Parte 1 Permissões de compartilhamento e NTFS - Parte 1 Autor: Júlio Battisti - Site: www.juliobattisti.com.br Segurança, sem dúvidas, é um dos temas mais debatidos hoje, no mundo da informática. Nesse tutorial

Leia mais

PRINCÍPIOS DE INFORMÁTICA PRÁTICA 06 1. OBJETIVO 2. BASE TEÓRICA 3. SEQÜÊNCIA DA AULA. 3.1 Iniciando o PowerPoint

PRINCÍPIOS DE INFORMÁTICA PRÁTICA 06 1. OBJETIVO 2. BASE TEÓRICA 3. SEQÜÊNCIA DA AULA. 3.1 Iniciando o PowerPoint PRINCÍPIOS DE INFORMÁTICA PRÁTICA 06 1. OBJETIVO Apresentar o PowerPoint, que é o software para montar apresentações na forma de slides da Microsoft. Isso será feito seguindo-se uma seqüência mostrando

Leia mais

PARANÁ GOVERNO DO ESTADO

PARANÁ GOVERNO DO ESTADO A COMUNICAÇÃO NA INTERNET PROTOCOLO TCP/IP Para tentar facilitar o entendimento de como se dá a comunicação na Internet, vamos começar contando uma história para fazer uma analogia. Era uma vez, um estrangeiro

Leia mais

Protocolo TCP/IP. Neste caso cada computador da rede precisa de, pelo menos, dois parâmetros configurados:

Protocolo TCP/IP. Neste caso cada computador da rede precisa de, pelo menos, dois parâmetros configurados: Protocolo TCP/IP Neste caso cada computador da rede precisa de, pelo menos, dois parâmetros configurados: Número IP Máscara de sub-rede O Número IP é um número no seguinte formato: x.y.z.w Não podem existir

Leia mais