Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema. Segundo Dasgupta, Papadimitriou e Vazirani; "Algoritmos são procedimentos precisos, não ambíguos, padronizados, eficientes e corretos.". As suas características são: finitas, o algoritmo deve eventualmente resolver o problema; bem definidas: os passos devem ser definidos de modo a serem entendidos; efetivas, deve sempre resolver o que tem para solucionar, antecipando falhas.

Algoritmo

Programação lógica é um paradigma de programação que faz uso da lógica matemática. John McCarthy [1958] foi o primeiro a publicar uma proposta de uso da lógica matemática para programação. A primeira linguagem de programação lógica foi a Planner, a qual permitia a invocação orientada a padrões de planos procedimentais de asserções e de objetivos. Com a necessidade de adaptação aos sistemas de memória muito limitada, que eram disponíveis quando ela foi desenvolvida. A linguagem Planner usava estruturas de controle de backtracking, de tal forma que apenas um único caminho computacional tinha que ser armazenado por vez. Em seguida, o Prolog foi desenvolvido como uma simplificação do Planner que permitia a invocação orientada a padrões apenas a partir de objetivos (também baseado em backtracki

Programação lógica

Exatas

Brasil

Sistema da Informação

pt-br

Modelagem de Sistemas/modelagem de Dados

A disciplina de Modelagem de Sistemas/Modelagem de Dados tem como objetivo ensinar aos alunos técnicas para representar sistemas e dados de forma clara e precisa. Durante as aulas, os alunos aprendem a utilizar ferramentas e linguagens de modelagem para descrever processos, fluxos de dados, entidades e relacionamentos. A disciplina é importante para profissionais da área de tecnologia da informação, que precisam entender e projetar sistemas complexos. O conhecimento em Modelagem de Sistemas/Modelagem de Dados é fundamental para analistas de sistemas, desenvolvedores de software, arquitetos de sistemas e outros profissionais da área, que devem criar soluções eficientes e escaláveis para atender às necessidades dos usuários.

01 _Introducao_a_Logica_de_Programacao

UNIFRAN

Modelagem de Sistemas/modelagem de Dados

Continue navegando

Outros materiais