Métodos Formais. Notação Z - Revisão
|
|
- Diogo Lemos Pinhal
- 6 Há anos
- Visualizações:
Transcrição
1 Métodos Formais Notação Z - Revisão
2 Notação Z Utiliza lógica de predicado e teoria de conjuntos Permite dividir uma especificação em esquemas Esquemas descrevem aspectos estáticos e dinâmico
3 Notação Z Aspectos estáticos: Estado que um sistema ocupa As invariantes de relacionamento que são mantidas
4 Notação Z Aspectos dinâmicos: Operações possíveis O relacionamento entre entradas e saídas As mudanças de estado que acontecem
5 Notação Z Uma especificação Z consiste de parágrafos matemáticos: Matemática: conjuntos, sequências, coleções, funções e relações Tipos básicos Variáveis Descrições axiomáticas
6 Notação Z Uma especificação Z consiste de parágrafos matemáticos: 'Constraints' Esquemas Abreviações Comentários?
7 Notação Z - Tipos Tipos são interpretados como conjuntos Fortemente tipada Todas as variáves, constantes e expressões devem ter um nome Tipos podem ser simples e compostos
8 Notação Z - Tipos Tipos simples podem ser: Primitivos e básicos Tipo primitivo: Z Como todos os tipos são tratados como conjuntos, operações como = e são definidas para todos os tipos
9 Notação Z - Tipos Tipos básicos: São definidos para uma especificação [Nome_1,...,Nome_n] [NOME,MATRICULA] Operações de conjuntos [NOME] x, y :NOME x y x NOME...
10 Notação Z - Tipos Tipos compostos Conjuntos Produtos cartesianos Esquemas Variáveis, predicados, expressões
11 Notação Z - Tipos Conjuntos Enumeração status = {pronto, executando} Compressão pares = {x : N x < 1000 x mod 2 = 0}
12 Notação Z - Tipos Abreviações Pode ser útil definir um novo nome no modelo para representar expressões complexas Exemplo Título X Autor X Ano Livro == Título X Autor X Ano
13 Notação Z - Tipos Tuplas e produto cartesiano Livro : Titulo X Autor X Ano Livro = (The Notation Z, J.M. Spivey, 2001)
14 Notação Z - Variáveis Variáveis As variáveis são associadas a um tipo através de declarações ident_1,..., ident_n : expressão p, q : livro : Titulo X Autor X Ano
15 Notação Z - Variáveis Expressões axiomáticas Introduz variáveis e 'constraints' sobre seus valores Predicados podem não ser declarados Declaração Predicado;...;Predicado square : N N n :N square n =n n
16 Notação Z - Predicados Predicados Expressões booleanas Podem ser definidos isoladamente Sobre variáveis pré-definidas Exemplo: n_client < 5
17 Notação Z - Esquemas Esquemas Nome Esquema Declarações Predicado;...;Predicado NomeEsquema =^ [D1,...,Dn P1,...,Pm] Usuario nome : seq Char senha : seq Char n:nome,m:senha n m Usuario =^ [ nome : seq Char; senha : seq Char n:nome,m:senha nome senha ]
18 Notação Z Tipos Simples e compostos Abreviações Produtos Cartesianos Expressões Predicados Variáveis Esquemas
19 Notação Z - Predicados Formas de montar predicados em Z = 1
20 Notação Z - Operações Operações sobre tipos primitivos Z N + < - > * div mod.. N1 succ
21 Notação Z - Operações Operações sobre conjuntos - pertence - união - intersecção \ - diferença # - cardinalidade - subconjunto - subconjunto próprio
22 Notação Z - Operações Operações sobre conjuntos = - igualdade U - união generalizada P - powerset
23 Notação Z - Operações Relações e funções Relações binárias modelam objetos que relacionam membros de dois conjuntos A B = P(A x B) r : A B
24 Notação Z - Operações Funções total parcial total injetora parcial sobrejetora parcial bijetora total bijetora parcial injetora total sobrejetora
25 Notação Z - Operações Operadores em relações e funções relação binária maplet dom domínio ran contra-domínio 9 composição relacional q:x Y,r:Y Z => X Z º volta da composição relacional
26 Notação Z - Operações Operadores em relações e funções restrição de domínio Conj Relação restrição de contra-domínio subtração de domínio subtração de contra-domínio ~ inverso relação _ ( _ ) imagem relacional Relação ( Conj ) => A<-->B X PA --> PB
27 Notação Z - Operações Sequência Tipos são definidos a partir dos símbolos e S1 = a, b, c, d Variáveis são especificadas: Sequência vazia - palavra chave seq Sequência não vazia - palavra chave seq₁ Sequência com elementos duplicados - palavra iseq
28 Notação Z - Operações Operações sobre sequências # tamanho concatenação rev reverso da sequência head primeiro elemento last último elemento tail sequência sem o primeiro elemento front sequência sem o último elemento
29 Notação Z - Operações Operações sobre sequência / concatenação distribuída sequência de sequência - /q prefix prefixo suffix sufixo in segmento subsequência = índice + sequência subsequência = sequência + elementos
30 Notação Z - Operações Coleções (Bags) Conjunto contendo a quantidade de cada elementos armazenado Definido a partir de uma função parcial nos naturais BagX == X N1 TipoFicha == {vermelho, amarelo, azul} BagFicha == {vermelho 3, amarelo 5} São especificados através da palavra reservada bag
31 Notação Z - Operações Operações em 'bags' count ou # quantidade de um elemento no bag elemento que aparece 'n' vezes em um bag pertence U + união U - diferença está contido
32 Notação Z - Exemplos Conta de usuário Um usuário possui nome e senha O nome é diferente da senha A senha não deve ter mais que 8 dígitos Caracter = {a, b, c, d,..., z} Login nome : seq1 Caracter senha : seq1 Caracter nome senha #senha < 8
33 Notação Z - Exemplos Livro de Aniversário De uma lista de pessoas conhecidas, desejo representar uma agenda que armazene datas de aniversário A agenda deve armazenar nomes e datas de aniversário [NOME, DATA] Agenda lnomes : P NOME aniversarios : NOME DATA lnomes = dom aniversarios
34 Notação Z - Exemplos Cliente X Servidor Não podem existir 2 servidores com mesmo id Um servidor pode atender até no máximo 5 requisições limite == N limite < 5 Servidor id: N req: limite SisServ lserv : P Servidor s1, s2 lserv s1.id = s2.id s1 = s2
35 Notação Z - Exemplos Turmas X Alunos Uma turma é formada por um conjunto de disciplinas Cada disciplina pode ter no máximo 30 alunos [DISCIPLINA] Turma lturma : bag DISCIPLINA n : N (n > 30 n lturma = )
36 Notação Z - Decoração Z é uma linguagem que estrutura um conjunto de teorias matemáticas Convenções são utilizadas para permitir o uso desta teoria matemática estruturada na descrição de programas O uso destas convenções permite-nos descrever espaço de estados e operações
37 Notação Z - Decoração Espaço de estados: Conjunto de estados iniciais Operações Cada operação possui variáveis de entrada e saída As operações são especificadas pela relação entre as variáveis de entrada e saída e um par de estados (o estado antes e depois da operação)
38 Notação Z - Decoração Em Z, um esquema especifica um espaço de estados sobre um tipo abstrado Contador valor, limite : N valor < limite O espaço de estados aqui é formado por todas as instâncias do contador que obedecem a invariante 0 valor < limite do relacionamento entre os atributos valor e limite
39 Notação Z - Decoração Para uma especificação descrever sistemas é necessário um estado inicial IniciaContador Contador valor = 0 limite = 100 Teorema: Contador IniciaContador
40 Notação Z - Decoração Uma operação especifica um estado anterior e posterior sobre um espaço de estados O símbolo ' identifica o estado final Incrementa Contador Contador ' valor ' = valor + 1 limite ' = limite As invariantes de relacionamentos devem ser mantidas antes e depois da operação
41 Notação Z - Decoração Uma operação pode conter valores de entrada e saída Valores de entrada são decorados no esquema que descreve a operação com o símbolo '?' Add Contador Contador ' incr? : N valor ' = valor + incr? limite' = limite
42 Notação Z - Decoração Valores de saída são decorados no esquema que descreve a operação com o símbolo '!' AddComRetorno Contador Contador ' incr? : N retorno! : N valor ' = valor + incr? limite' = limite retorno! = valor '
43 Notação Z - Decoração O símbolo é usado para abreviar a escrita de operações em que há mudança de estado É apenas uma convenção, não é uma operação Contador valor, limite : N valor < limite Incrementa Contador valor ' = valor + 1 limite ' = limite Incrementa valor, limite : N valor ', limite ' : N valor < limite valor ' < limite ' valor ' = valor + 1 limite ' = limite
44 Notação Z - Decoração O símbolo Ξ é usado para abreviar a escrita de operações em que não há mudança de estado Como, é apenas uma convenção, não é uma operação Contador valor, limite : N valor < limite Incrementa Contador valor ' = valor + 1 limite ' = limite RetornaAposIncrementa Ξ Incrementa retorno! : N retorno! = valor ' RetornaAposIncrementa valor, limite : N valor ', limite ': N retorno! : N valor < limite valor ' < limite ' valor ' = valor + 1 limite ' = limite retorno! = valor '
45 Notação Z - Exemplo Exemplo do livro de aniversário Uma agenda para armazenar nomes e datas de aniversário [NOME, DATA] Livro lnome : P NOME aniverisario : lnomes DATA lnome = dom aniversario
46 Notação Z - Exemplo Adicionar um novo nome no livro AdicionaNoLivro Livro nome? : NOME data? : DATA nome? lnome aniversario ' = aniversario {nome? data?}
47 Notação Z - Exemplo Encontrar uma data de aniversário EncontrarAniversario Ξ Livro nome? : NAME data! : DATA nome? lnome data! = aniversario(nome?)
48 Notação Z - Exemplo Lembrete Lembrete Ξ Livro dia? : DATA aniversariantes! : P NOME aniversariantes! = {a : lnome aniversario(a) = dia?}
49 Notação Z - Exemplo Estado inicial Inicializacao Livro lnome =
50 Notação Z - Exemplo A especificação está correta, mas não considera entrada de dados não esperados Adição de nomes que já existem Busca de nomes que não existem O sistema deve parar? Deve continuar operando e desconsiderar entrada de dados não esperadas?
51 Notação Z - Exemplo Especificação adicional Identificação de possíveis erros/exceções Cada operação vai possuir uma saída resultado! Operações com sucesso retornam ok Os outros retornos são entrada_existente ou entrada_nao_existente RETORNO = {ok, entrada_existente,entrada_nao_existente}
52 Notação Z - Exemplo Retorno de sucesso para a opreação AdicionaNoLivro O retorno é ok AdicionaNoLivro Livro nome? : NAME data? : DATA Sucesso resultado! : RETORNO resultado! = ok nome? lnome aniversario ' = aniversario {nome? data?} AdicionaNoLivro Sucesso
53 Notação Z - Exemplo Para completar a operação AdicionaNoLivro falta considerar o caso de que uma entrada existir EntradaExistente Ξ Livro nome? : NOME resultado! : RETORNO nome? lnome resultado! = entrada_existente
54 Notação Z - Exemplo Um esquema AdicionarNoLivro mais robusto NovoAdicionarNoLivro ^= AdicionaNoLivro Livro nome? : NAME data? : DATA nome? lnome aniversario ' = aniversario {nome? data?} Sucesso resultado! : RETORNO resultado! = ok EntradaExistente Ξ Livro nome? : NOME resultado! : RETORNO nome? lnome resultado! = entrada_existente (AdicionaNoLivro Sucesso) EntradaExistente NovoAdicionarNoLivro Livro nome? : NOME data? : DATA resultado! : RETORNO (nome? lnome aniversario ' = aniversario {nome? data?} resultado! = ok) (nome? lnome aniversario ' = aniversario resultado! = entrada_existente)
55 Notação Z - Exemplo No caso da operação EncontrarAniversario o nome pode não existir EncontrarAniversario Ξ Livro nome? : NAME data! : DATA nome? lnome data! = aniversario(nome?) EntradaNaoExistente Ξ Livro nome? : NOME resultado! : RETORNO nome? lnome resultado! = entrada_nao_existente NovoEncontrarAniversario = ^ (EncontrarAniversario Sucesso) EntradaNaoExistente
56 Notação Z - Exemplo No caso da operação Lembrete não há erro a ser registrado Se não existe aniversariante na data passada, o retorno é um conjunto vazio Lembrete Ξ Livro dia? : DATA aniversariantes! : P NOME aniversariantes! = {a : lnome aniversario(a) = dia?} Sucesso resultado! : RETORNO resultado! = ok NovoLembrete ^= Lembrete Sucesso
Notação Z - Predicados. Formas de montar predicados em Z
Notação Z - Predicados Formas de montar predicados em Z = 1 Operações sobre tipos primitivos Z N + < - > * div mod.. N1 succ Operações sobre conjuntos - pertence - união - intersecção \ - diferença # -
Leia maisNotação Z - Decoração
Notação Z - Decoração Z é uma linguagem que estrutura um conjunto de teorias matemáticas Convenções são utilizadas para permitir o uso desta teoria matemática estruturada na descrição de programas O uso
Leia maisAntónio Rocha Nuno Melo e Castro
António Rocha Nuno Melo e Castro Definição: colecção de operadores que tomam relações como seus operandos e retornam relações como resultados Cada operador da álgebra aceita como argumentos instâncias
Leia maisAlgoritmos. Algoritmos e Linguagem de Programação - Prof Carlos Vetorazzi
Algoritmos Algoritmos e Linguagem de Programação - Prof Carlos Vetorazzi Conceitos Linhas de Código de um Algoritmo ou Programa escrita do programa linha a linha, ou seja, a sintaxe do programa, podendo-se
Leia maisUma linguagem de especificação formal simplificada
Uma linguagem de especificação formal simplificada Adolfo Neto Departamento Acadêmico de Informática (DAINF) Universidade Tecnológica Federal do Paraná (UTFPR) Versão 1.1 15 de junho de 2010 Sumário 1
Leia maisPORTUGUÊS ESTRUTURADO: INTRODUÇÃO INTRODUÇÃO À PROGRAMAÇÃO PROF. ALEXANDRO DOS SANTOS SILVA
PORTUGUÊS ESTRUTURADO: INTRODUÇÃO INTRODUÇÃO À PROGRAMAÇÃO PROF. ALEXANDRO DOS SANTOS SILVA SUMÁRIO Introdução Conceitos básicos Formato básico Tipos primitivos Variáveis Constantes Operadores Operações
Leia maisComputação Eletrônica. Tipos de dados, constantes, variáveis, operadores e expressões. Prof: Luciano Barbosa
Computação Eletrônica Tipos de dados, constantes, variáveis, operadores e expressões Prof: Luciano Barbosa Site da disciplina: www.cin.ufpe.br/~if165/ Recapitulando num cubo = n * n * n cubo Algoritmo
Leia maisO Modelo e a Álgebra Relacional
O Modelo e a Álgebra Relacional O Modelo Relacional Modelo de dados, que se baseia no princípio em que todos os dados estão guardados em tabelas Baseado em lógica de predicados e na teoria de conjuntos.
Leia maisAulas 10 e 11 / 18 e 20 de abril
1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar
Leia maisResumo. Sistemas e Sinais Conjuntos e Funções. Conjuntos. Aula de Hoje
Resumo Sistemas e Sinais Conjuntos e Funções lco@ist.utl.pt Instituto Superior Técnico Conjuntos. Atribuição e asserção. Operadores, variáveis e predicados. Quantificadores. Produto cartesiano. Funções.
Leia maisPROGRAMAÇÃO ESTRUTURADA E ORIENTADA A OBJETOS
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE PROGRAMAÇÃO ESTRUTURADA E ORIENTADA A OBJETOS Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com eberton.marinho@gmail.com
Leia maisRevisando Banco de Dados. Modelo Relacional
: Revisando Banco de Dados Banco de Dados (BD) é o arquivo físico, em dispositivos periféricos, onde estão armazenados os dados de diversos sistemas, para consulta e atualização pelo usuário. Sistema Gerenciador
Leia maisParadigmas de Linguagens
Paradigmas de Linguagens Aula 2: Tipos de dados Professora Sheila Cáceres Tipos de dados Dados são a matéria prima da computação junto com os programas. LPs precisam manipular dados. LPS utilizam os conceitos
Leia maisTeoria da Computação
Introdução Março - 2009 1 Noções e Terminologia Matemática Conjuntos Um conjunto é um grupo de objetos, chamados elementos ou membros, representado como uma unidade. O conjunto { 3, 41, 57} possui os elementos
Leia maisLição 4 Fundamentos da programação
Lição 4 Fundamentos da programação Introdução à Programação I 1 Objetivos Ao final desta lição, o estudante será capaz de: Identificar as partes básicas de um programa em Java Reconhecer as diferenças
Leia maisInstruções, dados e expressões
Instruções, dados e expressões Marina Andretta ICMC-USP 1 de março de 2016 Marina Andretta (ICMC-USP) sme0230-ipc 1 de março de 2016 1 / 50 Dados Um computador manipula informações presentes em sua memória.
Leia maisModelagem de dados usando MER. Andre Noel
Modelagem de dados usando MER Andre Noel Introdução Introdução Modelagem conceitual Introdução Modelagem conceitual Modelo Entidade-Relacionamento (MER) Modelo de dados conceitual popular de alto nível
Leia maisOrganização e Arquitetura de Computadores I
Organização e Arquitetura de Computadores I Conjunto de Instruções Slide 1 Sumário Características de Instruções de Máquina Tipos de Operandos Tipos de Operações Linguagem de Montagem Slide 2 Características
Leia maisFábio Rodrigues / Israel Lucania
Fábio Rodrigues / Israel Lucania Variável é um local na memória principal, isto é, um endereço que armazena um conteúdo. Em linguagem de alto nível nos é permitido dar nomes a esse endereço, facilitando
Leia maisConceito de Campos e Tabelas
Aula 04 Conceito de Campos e Tabelas Tabelas É um conjunto de registros de um mesmo tipo onde cada linha é composta por um campo que recebe um valor de atributo. Em um Banco de Dados poderá existir uma
Leia maisMétodos Computacionais. Operadores, Expressões Aritméticas e Entrada/Saída de Dados
Métodos Computacionais Operadores, Expressões Aritméticas e Entrada/Saída de Dados Tópicos da Aula Hoje aprenderemos a escrever um programa em C que pode realizar cálculos Conceito de expressão Tipos de
Leia maisAlgoritmos: tipos de dados, variáveis e expressões
Universidade Federal do Rio Grande do Norte Departamento de Engenharia de Computação e Automação Algoritmos: tipos de dados, variáveis e expressões DCA0800 - Algoritmos e Lógica de Programação Heitor Medeiros
Leia maisBase de Dados. Sistemas de Informação. Base de Dados - Índice Introdução Componentes Base de Dados. Introdução. Introdução. Introdução.
- Índice Componentes Sistemas de Informação Vitor Vaz da Silva Vitor Vaz da Silva - SI http://tektonia.com 2 Vitor Vaz da Silva - SI http://tektonia.com 3 Vitor Vaz da Silva - SI http://tektonia.com 4
Leia maisLINGUAGEM C: PONTEIROS
LINGUAGEM C: PONTEIROS Prof. André Backes DEFINIÇÃO Variável É um espaço reservado de memória usado para guardar um valor que pode ser modificado pelo programa; Ponteiro É um espaço reservado de memória
Leia maisModelo Relacional Wendel Melo
Wendel Melo Faculdade de Computação Universidade Federal de Uberlândia www.facom.ufu.br/~wendelmelo Banco de Dados I 2 Proposto por Ted Codd em 1970; Se tornou padrão nos principais SGBD s de uso geral
Leia maisGrupo de Usuários Java do Noroeste Paulista. Tópicos Avançados em Java
Grupo de Usuários Java do Noroeste Paulista Tópicos Avançados em Java Aula 1 Objetivos Programa exemplo; Programação Orientada a Objetos. Conceitos Orientada a Objetos Mundo real Conceitos Orientada a
Leia maisModelagem de dados usando o modelo Entidade- Relacionamento (ER)
Modelagem de dados usando o modelo Entidade- Relacionamento (ER) slide 1 Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Tópicos Usando modelo de dados conceituais de alto nível
Leia maisAlgoritmos II prof. Daniel Oliveira
Algoritmos II prof. Daniel Oliveira Revisar conceitos abordados na disciplina anterior Abordar conceitos vistos com a linguagem C# Variáveis e listas Expressões Estruturas de controle do tipo condicional
Leia maisIntrodução à Programação
Introdução à Programação Linguagens de Programação: sintaxe e semântica de linguagens de programação e conceitos de linguagens interpretadas e compiladas Engenharia da Computação Professor: Críston Pereira
Leia maisAnálise Estruturada. Modelagem de Software Prof. Flávio de Oliveira Silva, Ph.D.
Análise Estruturada Análise estruturada Proposta a partir de 1975 por vários autores (Constantine, Tom DeMarco, Yourdon, Gane & Sarson) Caiu em desuso com os modelos orientados a objetos Entretanto...
Leia mais08/05/2012. Tipos de dados. Tipos de dados. Elementos Básicos. Tipos de dados. Elementos Básicos Tipos de dados. Dados e seus tipos:
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DA PARAÍBA CAMPUS CAMPINA GRANDE 1 2 Elementos Básicos Tipos de dados Dados e seus tipos: Computadores lidam com diversos tipos de dados: numéricos,
Leia maisSistemas de Informação e Bases de Dados 2012/2013. Modelo Relacional. Alberto Sardinha 2012 IST
Sistemas de Informação e Bases de Dados 2012/2013 Modelo Relacional Alberto Sardinha Bibliografia Raghu Ramakrishnan, Database Management Systems, Cap. 3 1 Sumário Modelo Relacional Conversão Modelo EA
Leia maisIntrodução à Programação. Operadores, Expressões Aritméticas e Entrada/Saída de Dados
Introdução à Programação Operadores, Expressões Aritméticas e Entrada/Saída de Dados Programa em C #include int main main ( ) { Palavras Reservadas } float celsius ; float farenheit ; celsius
Leia maisUniversidade Federal do Espírito Santo. Programação II. CT IX - Sala 206 Departamento de Informática Centro Tecnológico
Universidade Federal do Espírito Santo Programação II Prof.ª Claudia Boeres (boeres@inf.ufes.br) CT IX - Sala 206 Departamento de Informática Centro Tecnológico Universidade Federal do Espírito Santo Linguagem
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisBanco de Dados? Banco de Dados Professor Vanderlei Frazão
Banco de Dados? OU Vamos por partes... O que são dados? Definições... 1. Dados são observações documentadas ou resultados de medições. 2. Dados são matéria bruta de que é feita a informação. 3. Valores
Leia mais1 FUNÇÃO - DEFINIÇÃO. Chama-se função do 1. grau toda função definida de por f(x) = ax + b com a, b e a 0.
MATEMÁTICA ENSINO MÉDIO FUNÇÃO - DEFINIÇÃO FUNÇÃO - DEFINIÇÃO Chama-se função do 1. grau toda função definida de por f(x) = ax + b com a, b e a 0. EXEMPLOS: f(x) = 5x 3, onde a = 5 e b = 3 (função afim)
Leia maisInstituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte Lista de Exercícios para a Terceira Unidade
Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte Lista de Exercícios para a Terceira Unidade Disciplina: PEOO Professor: Eberton da Silva Marinho e-mail: ebertonsm@gmail.com Data:
Leia maisProf. Adriano Maranhão COMPILADORES
Prof. Adriano Maranhão COMPILADORES LINGUAGENS: INTERPRETADAS X COMPILADAS Resumo: Linguagem compilada: Se o método utilizado traduz todo o texto do programa, para só depois executar o programa, então
Leia maisJá falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.
Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.
Leia maisProgramação em C. Variáveis e Expressões. Universidade Federal do Rio Grande do Norte Departamento de Engenharia de Computação e Automação
Universidade Federal do Rio Grande do Norte Departamento de Engenharia de Computação e Automação Programação em C Variáveis e Expressões DCA0800 Algoritmos e Lógica de Programação Heitor Medeiros Florencio
Leia maisSemana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos
Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de
Leia maisAlgoritmos e Lógica de Programação Introdução e formas de representação
Algoritmos e Lógica de Programação Introdução e formas de representação Agostinho Brito Departamento de Engenharia da Computação e Automação Universidade Federal do Rio Grande do Norte 15 de agosto de
Leia maisProgramação Estruturada Aula VisualG
Programação Estruturada Aula VisualG Prof. Flávio Barros flavioifma@gmail.com www.flaviobarros.com.br 2 CRIANDO ALGORITMO CRIANDO ALGORITMO Passos para construir Algoritmos Ler enunciado do problema, compreendendo-o
Leia maisPuca Huachi Vaz Penna
Aula 3 C++: variáveis e expressões aritméticas 2017/1 BCC201 Introdução à Computação Turmas 61, 62, 63, 64, 65 e 66, 32 e 33 Puca Huachi Vaz Penna Departamento de Computação Universidade Federal de Ouro
Leia maisMDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa
Leia maisNoções de algoritmos - Aula 1
Noções de algoritmos - Aula 1 Departamento de Física UFPel Definição de algoritmo Sequência ordenada e finita de operações para a realização de uma tarefa. Tarefa: Experimento de Física I. Passo 1: Reunir
Leia maisMATEMÁTICA AULA 4 ÁLGEBRA CONJUNTOS. Conjunto é um conceito primitivo, e portanto, não tem definição.
1 - Conceito de Conjunto MATEMÁTICA AULA 4 ÁLGEBRA CONJUNTOS Conjunto é um conceito primitivo, e portanto, não tem definição. Representação O conjunto pode ser representado de três maneiras diferentes:
Leia maisCurso Profissional de Gestão e Programação de Sistemas Informáticos. Programação e Sistemas de Informação. Módulo 1. 3ª Parte Prof. Sandra Pais Soares
Curso Profissional de Gestão e Programação de Sistemas Informáticos Programação e Sistemas de Informação Módulo 1 3ª Parte Prof. Sandra Pais Soares Fundamentos de Programação 1. Palavras Reservadas 2.
Leia maisALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE ALGORITMOS E TÉCNICAS DE PROGRAMAÇÃO Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com eberton.marinho@ifrn.edu.br
Leia maisFACULDADE LEÃO SAMPAIO
FACULDADE LEÃO SAMPAIO Paradigmas de Programação Curso de Análise e Desenvolvimento de Sistemas Turma: 309-5 Semestre - 2014.2 Paradigmas de Programação Prof. MSc. Isaac Bezerra de Oliveira. 1 PARADIGMAS
Leia maisIntrodução Linguagem C. UDESC - Prof. Juliano Maia 1
Introdução Linguagem C UDESC - Prof. Juliano Maia 1 Índice Seção 1 A linguagem C Seção 2 Esqueleto Básico Programa em C UDESC - Prof. Juliano Maia 2 A linguagem C Seção 1 História Características Orientação
Leia maisIntrodução à Linguagem de Programação C: Variáveis, Constantes, Expressões, Atribuição, Tipos de dados, Entrada e Saída de Dados
Introdução à Linguagem de Programação C: Variáveis, Constantes, Expressões, Atribuição, Tipos de dados, Entrada e Saída de Dados Disciplina de Programação de Computadores I Universidade Federal de Ouro
Leia maisProgramação de Computadores I. Professor Ilaim Costa Junior
Programação de Computadores I Professor Ilaim Costa Junior ilaim@ic.uff.br Roteiro da Aula de Hoje ariável Tipos básicos Declaração Expressões Aritméticas Lógicas Atribuição 2 ariável Representa uma região
Leia maisCompiladores. Análise Léxica
Compiladores Análise Léxica Cristiano Lehrer, M.Sc. Introdução (1/3) Análise léxica é a primeira fase do compilador. A função do analisador léxico, também denominado scanner, é: Fazer a leitura do programa
Leia maisIntrodução. Conceitos Básicos. Conceitos Básicos. Conceitos Básicos
Conceitos Básicos Introdução Tópicos Especiais Modelagem de Dados Prof. Guilherme Tavares de Assis Universidade Federal de Ouro Preto UFOP Instituto de Ciências Exatas e Biológicas ICEB Mestrado Profissional
Leia maisBCD29008 Banco de dados
BCD29008 Banco de dados Modelo ER & Modelo Relacional Prof. Emerson Ribeiro de Mello Instituto Federal de Santa Catarina IFSC campus São José mello@ifsc.edu.br http://docente.ifsc.edu.br/mello/bcd 18 de
Leia maisAula 01 Conceito de Banco de Dados e SGBD
Aula 01 Conceito de Banco de Dados e SGBD Dado: conjunto de símbolos arranjados a fim de representar a informação fora da mente humana. Elemento de Dado: subconjunto de símbolos que compõem um dado com
Leia maisLinguagem de Maquina II. Visão Geral
Linguagem de Maquina II Visão Geral Revisão A linguagem de máquina é composta de seqüências binárias (1's e 0's) São interpretadas como instruções pelo hardware A linguagem de montagem e a linguagem de
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 maisBanco de dados. Objetivo: Reter os dados de forma que possam ser utilizados em outros momentos
Banco de dados BD Dados x Informações Banco de dados Objetivo: Armazenar dados Consultar dados (dentro de um determinado contexto) gerando informações úteis Reter os dados de forma que possam ser utilizados
Leia maisBanco de dados. Objetivo: Reter os dados de forma que possam ser utilizados em outros momentos
Banco de dados BD Banco de dados Objetivo: Armazenar dados Consultar dados (dentro de um determinado contexto) gerando informações úteis Reter os dados de forma que possam ser utilizados em outros momentos
Leia maisANÁLISE E PROJETO DE BANCO DE DADOS
ANÁLISE E PROJETO DE BANCO DE DADOS ÁLGEBRA E CÁLCULO RELACIONAL FELIPE G. TORRES APRESENTAÇÃO Avaliações AV1 AV2 TRAB1 TRAB2 REFERÊNCIAS GRAVES, M. Projeto de Banco de Dados com XML. São Paulo: Makron
Leia maisIntrodução. Conceitos Básicos. Conceitos Básicos. Conceitos Básicos
Introdução Laboratório de Computação para Ciências Módulo II Prof. Guilherme Tavares de Assis Universidade Federal de Ouro Preto UFOP Instituto de Ciências Exatas e Biológicas ICEB Mestrado Profissional
Leia maisBacharelado em Ciência e Tecnologia Processamento da Informação. Equivalência Portugol Java. Linguagem Java
Linguagem Java Objetivos Compreender como desenvolver algoritmos básicos em JAVA Aprender como escrever programas na Linguagem JAVA baseando-se na Linguagem Portugol aprender as sintaxes equivalentes entre
Leia maisIntrodução à Ciência da Computação
Introdução à Ciência da Computação Variáveis Conceitos Básicos Variáveis x Constantes a = x + 5 a, x e 5 são variáveis ou constantes? Variáveis As variáveis são recipientes de valores É um espaço reservado
Leia maisUniversidade Veiga de Almeida
Banco de Dados II Universidade Veiga de Almeida Banco de Dados II Prof. Luiz Antônio Vivacqua C. Meyer (luiz.vcm@gmail.com) Linguagens de Consulta Linguagens nas quais os usuários fazem requisições de
Leia maisConceitos de Linguagens de Programação
Conceitos de Linguagens de Programação Aula 09 Programação Funcional (Haskell) Edirlei Soares de Lima Programação Funcional A programação funcional modela um problema computacional
Leia maisAnálise de Programação
Análise de Programação Fundamentos da Linguagem de Programação Java Prof. Gilberto B. Oliveira Variáveis Atributos: Variáveis Declaradas fora de um método, sem o modificador static Variáveis membro ou
Leia maisAlgoritmos e Estruturas de Dados I (DCC/003) Estruturas Básicas. Aula Tópico 2
Algoritmos e Estruturas de Dados I (DCC/003) Estruturas Básicas Aula Tópico 2 1 Problema 3 Exibir o maior número inteiro que pode ser representado no computador. 2 Qual o maior número inteiro? Para o compilador
Leia maisAula 8 BD1 Álgebra Relacional. Profa. Elaine Faria UFU
Aula 8 BD1 Álgebra Relacional Profa. Elaine Faria UFU - 2018 Introdução Linguagens de consulta formais associadas ao modelo relacional Álgebra Usa uma coleção de operadores e cada consulta descreve um
Leia maisLÓGICA DE PROGRAMAÇÃO. Algoritmos Computacionais. Sérgio Carlos Portari Júnior
LÓGICA DE PROGRAMAÇÃO Algoritmos Computacionais Sérgio Carlos Portari Júnior portari.uemgfrutal@gmail.com Tópicos abordados Algoritmos Computacionais Estrutura de Dados Tipos Primitivos Constantes Variáveis
Leia maisBacharelado em Ciência e Tecnologia Processamento da Informação. Equivalência Portugol Java. Linguagem Java
Linguagem Java Objetivos????? ADAPTAR O TEXTO ABAIXO????? Aprender a sintaxe da Estrutura de Repetição ENQUANTO-FAÇA na linguagem PORTUGOL Aprender a resolver problemas que requeiram o uso de ESTRUTURAS
Leia maisCONCEITOS DE ALGORITMOS
CONCEITOS DE ALGORITMOS Fundamentos da Programação de Computadores - 3ª Ed. 2012 Editora Prentice Hall ISBN 9788564574168 Ana Fernanda Gomes Ascênsio Edilene Aparecida Veneruchi de Campos Algoritmos são
Leia maisSSC304 Introdução à Programação Para Engenharias. Ponteiros. GE4 Bio
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação Departamento de Sistemas de Computação Introdução à Para Engenharias s GE4 Bio GE4Bio Grupo de Estudos em Sinais Biológicos Prof.Dr.
Leia maisModelagem de Dados (Estrutura Relacional)
Modelagem de Dados (Estrutura Relacional) Se você pretende desenvolver aplicações que usam banco de dados relacionais deverá possuir os conceitos básicos sobre modelagem de dados. Não importa se sua aplicação
Leia maisNoções de algoritmos - Aula 1
Noções de algoritmos - Aula 1 Departamento de Física UFPel Definição de algoritmo Sequência ordenada e finita de operações para a realização de uma tarefa. Tarefa: Experimento de Física I. Passo 1: Reunir
Leia maisDiagramas Sintáticos
Diagramas Sintáticos Centro de Cálculo Instituto Superior de Engenharia de Lisboa Pedro Alexandre Pereira (palex@cc.isel.ipl.pt) Classe pública com método main Cada classe X pública é declarada num ficheiro
Leia maisALGORITMOS 3ª Aula. 3. Introdução Tipos de dados, variáveis e operadores Tipos de dados
3. Introdução Segundo alguns especialistas, qualquer programa de computador pode ser escrito utilizando apenas três estruturas básicas: Seqüência, Condição e Repetição. Isto significa que, na construção
Leia maisModelos. Banco de dados. Professor: Jarbas Araújo CENTRO EDUCACIONAL RADIER.
Modelos Banco de dados Professor: Jarbas Araújo professorjarbasaraujo@gmail.com CENTRO EDUCACIONAL RADIER Projeto de banco de dados Todo bom sistema de banco de dados deve apresentar um projeto, que visa
Leia maisTeoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos
Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção
Leia maisIntrodução a programação Visão geral
Instituto Federal de Minas Gerais Campus Ponte Nova Introdução a programação Visão geral Professor: Saulo Henrique Cabral Silva Conceitos lógica/algoritmo A lógica é usada no dia a dia das pessoas para
Leia maisModelo Relacional Wendel Melo
Wendel Melo Faculdade de Computação Universidade Federal de Uberlândia www.facom.ufu.br/~wendelmelo Banco de Dados I Modelo Relacional 2 Modelo Relacional Proposto por Ted Codd em 1970; Se tornou padrão
Leia maisJava e sua Sintaxe. Estrutura mínima de um programa em Java: public class Exemplo { }
Java e sua Sintaxe Java e sua Sintaxe Estrutura mínima de um programa em Java: public class Exemplo { } Como todo programa deve ter um início, convenciona-se que a primeira ação de um programa é a execução
Leia 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 maisUniversidade Federal do Espírito Santo. Programação II. CT IX - Sala 201 Departamento de Informática Centro Tecnológico
Universidade Federal do Espírito Santo Programação II Prof.ª Claudia Boeres (boeres@inf.ufes.br) CT IX - Sala 201 Departamento de Informática Centro Tecnológico Universidade Federal do Espírito Santo Linguagem
Leia maisProjeto Banco de Dados
Projeto Banco de Dados Principais Fases do Processo Projeto Conceitual Projeto Lógico Projeto Físico 32 Projeto Banco de Dados Projeto Conceitual Modelagem de dados em alto nível Foco no domínio do problema
Leia maisTabelas. Banco de Dados I MySQL
FACULDADE ANGLO AMERICANO FOZ DO IGUAÇU Curso de Ciência da Computação 5º Período Disciplina: Banco de Dados I Prof. Erinaldo Sanches Nascimento Tabelas Banco de Dados I MySQL Linguagem de Definição de
Leia mais= = = = = = = = = = = = = = = =
Página 1 de 7 A Linguagem PASCAL = = = = = = = = = = = = = = = = 1) ALFABETO: são os símbolos (ié, caracteres ) permitidos na linguagem. São as letras (maiúsculas e minúsculas), os algarismos (ou dígitos)
Leia maisMétodos formais. Especificação Formal. Aceitação de métodos formais. O uso de métodos formais. Especificação e projeto
Métodos formais Especificação Formal A especificação formal é parte de um coleção mais geral de técnicas que são conhecidas como métodos formais. São todas baseadas na representação matemática e na análise
Leia maisALOCAÇÃO DINÂMICA DE MEMÓRIA
INE5408 Estruturas de Dados Semestre 2008/1 Prof. Leandro J. Komosinski ALOCAÇÃO DINÂMICA DE Memória de Computador 1 byte = 8 bits (ex.: 00100110) 1 KB = 1024 bytes 1 MB = 1024 KB 1 GB = 1024 MB Meu computador
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 maisAlgoritmo e Programação Matemática
Algoritmo e Programação Matemática Fundamentos de Algoritmos Parte 1 Renato Dourado Maia Instituto de Ciências Agrárias Universidade Federal de Minas Gerais Dados A funcionalidade principal de um computador
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 maisXML: uma introdução prática X100. Helder da Rocha
XML: uma introdução prática X100 Helder da Rocha (helder@argonavis.com.br) Atualizado em outubro de 2005 1 O que é XPath XPath é uma linguagem usada para localizar informações em um documento XML Serve
Leia maisModelo Relacional. Aula 02
Aula 02 Modelo Relacional É um modelo baseado em relações, seus dados no BD são representados através de tabelas, ou seja, sua coleção ou relação recebe cada uma um nome único. Revisando: Dados: é o conteúdo
Leia maisNome: Login: CA: Cidade: UF CARTÃO RESPOSTA QUESTÃO RESPOSTA QUESTÃO RESPOSTA
CURSO - TADS TURMA 2008.2 4 PERÍODO 4 MÓDULO AVALIAÇÃO MP1 DATA 05/11/2008 BANCO DE DADOS 2008/2 Dados de identificação do Acadêmico: Nome: Login: CA: Cidade: UF CARTÃO RESPOSTA QUESTÃO RESPOSTA QUESTÃO
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 maisIntrodução à Computação
Introdução à Computação Tipos de Dados, Expressões, Operadores e Comandos Básicos Prof.: Julliano Rosa Nascimento julliano.rn@gmail.com Roteiro Tipos de Dados: Revisão Expressões Operadores Comandos Básicos
Leia mais