Seminário - Lógica de Programação | SIC

Olá a todos Eu me chamo Davi e hoje vamos falar um pouco sobre um tema que é tanto filosófico quanto prático e que está na base do pensamento humano e da revolução tecnológica que vivemos nos dias de hoje que é a lógica A lógica é uma área da filosofia e da matemática que Visa estudar as estruturas argumentativas dos anunciados Ou seja é um sistema que estuda os princípios e métodos para distinguir raciocínios válidos de Inválidos nos permitindo construir a argumentos coerentes resolver problemas complexos e tomar decisões fundamentadas a história da Lógica tem suas aías na

Grécia com Aristóteles que é amplamente reconhecido como fundador da lógica formal ele sistematizou o estudo do raciocínio em Sua obra órgano que é composta por textos Nos quais Aristóteles estabeleceu os fundamentos do que hoje chamamos de lógica clássica criando um sistema que permitia analisar a estrutura dos argumentos e distinguir entre raciocínios vários um dos principais conceitos Da Lógica clássica é o silogismo forma de raciocínio dedutivo que consiste em duas premissas e uma conclusão a transição Da Lógica clássica para lógica moderna ocorreu com o trabalho de pensadores como George b e got Lob FR que expandiram

e formalizaram a lógica como conhecemos atualmente que é o p Da Lógica moder final do século XIX sua obra é intitulada concept ografia na qual ele introduziu um sistema de notação lógica que permitia expressar relações e quantificações de maneira precisa e rigorosa algo que a lógica aristotélica não era capaz de fazer já George B é reconhecido pela criação da álgebra booleana sistema que revolucionou tanto a matemática quanto a Computação em Sua obra as leis do pensamento Bull propôs uma abordagem algébrica para onde as operações lógicas como e ou e não podiam ser representadas de forma

matemática ele introduziu a ideia de que as proposições lógicas poderiam ser tratadas como variáveis que assumem apenas dois valores um para verdadeiro ou zero para falso esse sistema binário permitiu que operações complexas fossem simplificadas em expressões algébricas criando uma ponte entre a lógica e a matemática Olá meu nome é Leoni hoje vou trazer um pouco para você de como a lógica é implementada na computação A lógica é um dos pilares fundamentais da Computação desempenhando um papel essencial no desenvolvimento de algoritmos na programação e no funcionamento dos sistemas computacionais ela permia diversas áreas da Computação desde

a construção de circuitos eletrônicos até a criação de softwares complexos e sistemas inteligentes também sendo indispensável para avanço tecnológico que vivemos hoje em dia na computação A lógica é aplicada principalmente por meio da lógica booleana que utiliza valores binários verdadeiro ou falso representados por um ou zero para representar e manipular informações essa lógica é a base para tomar de decisões em programas como as estruturas condicionais if else e os Loops while e for onde expressões lógicas determinam fluxo de execução por exemplo um programa pode usar uma condição lógica para verificar se um número é positivo

ou negativo e com base nisso executar diferentes blocos de código além disso a lógica boana é crucial no design de circuitos digitais como as portas end or e not que formam a base do Hard dos computadores essas portas são combinadas para criar circuitos mais complexos como os somadores os multiplexadores e até unidade de processamentos centrais as cpus sem a lógica boana a construção de computadores modernos seria impossível na área da Inteligência Artificial a lógica desempenha um papel igualmente importante ela é usada para representar conhecimento e raciocínio permitindo que as máquinas tomem decisões com base em

regras e inferências por exemplo sistemas especialistas utilizam regras lógicas para simular o raciocínio humano em domínios específicos como diagnósticos médicos ou análise financeira além disso a lógica é fundamental em técnicas de planejamento automatizado e raciocínio automatizado também onde máquinas precisam resolver problemas complexos com base em premissas e conclusões lógicas outra aplicação relevante Da Lógica na computação é na na área de bancos de dados a álgebra relacional e a linguagem SQL são baseadas em princípios lógicos para realizar consultas e manipular dados por exemplo operações como seleção projeção e junção são fundamentadas Em lógica permitindo que os

usuários extraiam informações precisa de grandes volumes de dados a lógica também é essencial na verificação formal de software onde métodos matemáticos são usados para provar a correção de programas e sistemas isso é especialmente importante explicações críticas como sistemas de controle de tráfego aéreo dispositivos médicos e software de segurança onde Erros podem ter consequências catastróficas Olá me chamo Pedro Henrique Dias e dando continuidade com o meu colega falava a respeito da lógica e aplicação da Computação vários vários assuntos complexos sobre computação eles são fundamentados sobre em relações lógicas em Sei lá uma função que utiliza Da

Lógica sei lá grafos por exemplo você o conceito de grafo em si não é tão lógico mas quando você tem que fazer operações entre grafos você acaba T utilizando lógica tanto lógica preposicional depender do contexto você pode ir para outros tipos de de lógica mas um exemplo de de onde a lógica tá é bastante aplicada são o estudo de redundância de redes onde você que no caso você você tem é um contexto onde você tem vários servidores computadores e atadores e você quer avaliar se aqueles servidores eles conseguem transmitir dados entre eles mesmo que um

deles para de funcionar então Digamos que você tem cinco servidores o do meil parou de funcionar Se Eles continuam conseguindo se comunicar pelas conexões realizadas eles são redundantes se eles se se se um para de funcionar o restante não consegue mais comunicar então não é redundante e de uma grosso moldo é mais ou menos isso só que a lógica entra na parte onde você faz avaliação sobre Então quando você está avaliando Num caso real você tem vários servidores que não é não é tangível não é praticável ou mesmo eficiente um uma pessoa um grupo de

pessoas ficarem fazendo a ponta de cabeça ou ficar avaliando apenas com com a própria inferência indução Então a partir disso é necessário utilizar ferramentas como algoritmos como regras de de lógica algoritmos lógicos também né que usa lógica para avaliar se é redundante ou não o que é que tá impedindo aquele sistema de ser redundante o que é que eu tenho que adicionar para aquele sistema redundante e outro exemplo que podemos citar também de como a lógica está presente na computação é a respeito da lógica F que dando um quadro geral a lógica F se diferencia

da da da proporcional lógica clássica porque a lógica clássica você tem duas valorações ou você tem o zero você tem um para indicar verdadeiro falso se vocêver certo ou errado e por aí mais a lógica F você tem tamanho de verdade você pode ter um intervalo de zero a um de verdade ou de mentira então uma informação não é um ou zero Você pode ter uma informação que é é 0,6 verdade vamos dizer assim que é utilizado para imitar o raciocínio humano porque às vezes a gente tem uma informação que ela não é completamente correta

mas ainda assim conseguimos tirar alguma alguma interpretação alguma conclusão a respeito do daquele daquele dado e é nessa ideia que a lógica F é implementada em Sistemas como carros autônomos que precisam avaliar alguns contextos para para ter uma ideia do que de que atitude que ação deve ser tomada e também dando alguns outros exemplos temos os sistemas de controle embarcado Inteligência Artificial utiliza muito a lógica fuz porque a lógica fuz sobretudo é sobre incertezas e a rede neural acaba utilizando muito a rede o sistema fuz de de lógica Então esse são alguns exemplos de como

a lógica tá tanto um exemplo mais direto como a lógica F quanto mesmo das mais abstratas ideias conceitos e protocolos a lógica continua estando presente dentro da Computação Olá me chamo Gustavo e hoje eu vou trazer algumas curiosidades interessantes sobre a lógica de programação como vocês já poderão perceber ao longo apresentação a lógica de programação é muito vasta e muito rica em detalhes desde sua história até suas aplicações mas uma história interessantíssima para ser falada como primeira curiosidade e importantíssima paraa disseminação da representatividade feminina na tecnologia é que o primeiro programa para computador feito na

história foi feito por uma mulher aa lel isso no século XIX ela criou o primeiro programa para ser para ser rodado em máquina que era a máquina analítica de Charles bebes ela usou lógica matemática para escrever suas instruções sendo considerada a primeira programadora da história a segunda curiosidade é que existe diferentes formas de estruturar a lógica de programa e os principais paradigmas são os seguintes o imperativo que usa comandos sequenciais como em C e Python o funcional que se baseia em funções matemáticas como e lisp e orientado a objetos que modela o software com interações

entre objetos como Java e sear e por último mas não menos importante o lógico que trabalho com regras inferencias como no prolog Bom espero que vocês tenham gostado até aqui e obrigado pela atenção de vocês até a próxima