Baixe o app para aproveitar ainda mais
Prévia do material em texto
UNIVERSIDADE PAULISTA – UNIP EaD Projeto Integrado Multidisciplinar I Curso Superior de Tecnologia em Análise e Desenvolvimentos de Sistemas DAVI BARBOSA – RA 2302794 JULIO CESAR ALVES – RA 2318554 INTERAÇÃO ENTRE FUNDAMENTOS DE SISTEMAS OPERACIONAIS, DESENVOLVIMENTO SUSTENTÁVEL, ESTATÍSTICA E LÓGICA: UMA ANÁLISE MULTIDISCIPLINAR PARA SOLUÇÕES EFICIENTES E SUSTENTÁVEIS Piracicaba, São Paulo 2023 DAVI BARBOSA – RA 2302794 JULIO CESAR ALVES – RA 2318554 INTERAÇÃO ENTRE FUNDAMENTOS DE SISTEMAS OPERACIONAIS, DESENVOLVIMENTO SUSTENTÁVEL, ESTATÍSTICA E LÓGICA: UMA ANÁLISE MULTIDISCIPLINAR PARA SOLUÇÕES EFICIENTES E SUSTENTÁVEIS Projeto Integrado Multidisciplinar em Análise e Desenvolvimento de Sistemas Projeto Integrado Multidisciplinar para obtenção do título de tecnólogo em Análise e Desenvolvimento de Sistemas, apresentado à Universidade Paulista – UNIP EaD. Piracicaba, São Paulo 2023 RESUMO O mundo atual exige profissionais com conhecimentos em diversas áreas, capazes de solucionar problemas de forma eficiente e sustentável. Nesse contexto, este Projeto Integrado Multidisciplinar (PIM) foi desenvolvido analisar e avaliar a interação entre a empresa escolhida e as disciplinas de Fundamentos de Sistemas Operacionais, Desenvolvimento Sustentável, Estatística e Lógica. O trabalho foi desenvolvido a partir de uma pesquisa bibliográfica e entrevistas com profissionais da área, a fim de buscar entender como essas disciplinas se relacionam e como podem ser aplicadas em conjunto. Os resultados indicaram que o conhecimento em Fundamentos de Sistemas Operacionais é essencial para a compreensão dos processos tecnológicos e aprimoramento de sistemas. Além disso, a disciplina de Desenvolvimento Sustentável se mostra cada vez mais importante, uma vez que a sociedade busca por soluções que não agridam o meio ambiente. Por sua vez, a Estatística é fundamental para análise de dados e tomada de decisões estratégicas. Por fim, a Lógica é uma base para o desenvolvimento de algoritmos e solução de problemas complexos. Com base nos resultados, detalhamos as soluções que envolvem a aplicação conjunta dessas disciplinas em diferentes áreas, a fim de gerar resultados mais eficientes e sustentáveis. Palavras-chave: Desenvolvimento, Sustentável, Soluções, Sistemas, Tecnologia. ABSTRACT The current world demands professionals with knowledge in several areas, capable of solving problems in an efficient and sustainable way. In this context, this Multidisciplinary Integrated Project (PIM) was developed to analyze and evaluate the interaction between the chosen organization and the disciplines of Fundamentals of Operating Systems, Sustainable Development, Statistics and Logic. The work was developed from a bibliographical research and interviews with professionals in the area, to seek to understand how these disciplines are related and how they can be applied together. The results indicated that knowledge of Fundamentals of Operating Systems is essential for understanding technological processes and improving systems. In addition, the discipline of Sustainable Development is increasingly important, as society seeks solutions that do not harm the environment. In turn, Statistics is fundamental for data analysis and strategic decision-making. Finally, Logic is a basis for developing algorithms and solving complex problems. Based on the results, solutions were detailed that involve the joint application of these disciplines in different areas, to generate more efficient and sustainable results. Keywords: Development, Sustainable, Solutions, Systems, Technology. SUMÁRIO 1 INTRODUÇÃO ......................................................................................................................................... 1 2 FUNDAMENTOS DE SISTEMAS OPERACIONAIS ...................................................................................... 2 2.1 Gerações de computadores ....................................................................................................... 2 2.2 IBM e seu papel fundamental no desenvolvimento de sistemas operacionais ................. 4 2.3 IBM System/360 .......................................................................................................................... 5 2.4 Sistemas operacionais: a base essencial para a evolução da tecnologia ......................... 6 3 DESENVOLVIMENTO SUSTENTÁVEL ....................................................................................................... 7 3.1 As bases do desenvolvimento sustentável.............................................................................. 9 3.2 IBM e sustentabilidade ............................................................................................................... 9 4 ESTATÍSTICA ..........................................................................................................................................11 4.1 Análise de Dados de Negócios ...............................................................................................11 4.2 Machine Learning e Inteligência Artificial ..............................................................................12 4.3 Internet das Coisas (IoT) ..........................................................................................................12 5 LÓGICA .................................................................................................................................................14 5.1 Lógica Matemática ..........................................................................................................................14 5.1.1 Lógica proposicional .........................................................................................................15 5.1.2 Conectivos lógicos .............................................................................................................15 5.1.3 Tabela-verdade ..................................................................................................................15 5.1.4 Implicação ...........................................................................................................................15 5.1.5 Quantificadores ..................................................................................................................15 5.2 Lógica e sua importância fundamental para a IBM ...................................................................16 6 CONCLUSÃO .........................................................................................................................................18 7. REFERÊNCIAS ............................................................................................................................................19 LISTA DE FIGURAS Figura 1 - Programadoras operam o primeiro computador eletrônico da história, o ENIAC ........... 3 Figura 2 - IBM PC. ....................................................................................................................................... 4 Figura 3 - IBM System 360 no Museu da História do Computador. .................................................... 6 Figura 4 - Charge de Turcius ..................................................................................................................... 8 file:///C:/Users/062472631/Downloads/PIM%20-%20Davi%20Barbosa.docx%23_Toc132371099 file:///C:/Users/062472631/Downloads/PIM%20-%20Davi%20Barbosa.docx%23_Toc132371100 1 1 INTRODUÇÃO O objetivo deste Projeto Integrado Multidisciplinar (PIM) é integrar diferentes disciplinas em um projeto único e aplicável a uma empresa real. Neste caso, o foco será na IBM, uma das empresas mais renomadas no setor de tecnologiada informação. As disciplinas abordadas para este PIM são Fundamentos de Sistemas Operacionais, Desenvolvimento Sustentável, Estatística e Lógica. Cada uma dessas disciplinas traz uma perspectiva única e essencial para o sucesso do projeto, que busca apresentar soluções inovadoras e sustentáveis para a IBM (International Business Machine). A IBM é uma das empresas mais conhecidas e respeitadas no setor de tecnologia da informação. Fundada em 1911, a IBM foi responsável por importantes inovações tecnológicas, tais como o computador pessoal, o sistema operacional UNIX e a tecnologia de computação em nuvem. Atualmente, a empresa se concentra em áreas como inteligência artificial, computação em nuvem, segurança cibernética e blockchain. A IBM é reconhecida por sua forte cultura de inovação e por sua preocupação com questões ambientais e sociais. A empresa tem se esforçado para reduzir sua pegada de carbono e aumentar o uso de energias renováveis, além de investir em projetos sociais e filantrópicos ao redor do mundo. As metodologias utilizadas para o desenvolvimento deste trabalho serão a quantitativa e qualitativa. A metodologia quantitativa será utilizada para coletar e analisar dados numéricos, tais como estatísticas de desempenho de sistemas operacionais. Já a metodologia qualitativa será utilizada para coletar e analisar dados baseados em opiniões, perspectivas e experiências de funcionários, clientes e outras partes interessadas da IBM. O objetivo deste PIM é aplicar os conceitos teóricos aprendidos nas disciplinas escolhidas para desenvolver soluções efetivas e eficientes que possam ser implementadas pela IBM. Para tanto, serão analisadas questões relacionadas à gestão de sistemas operacionais, desenvolvimento sustentável, análise estatística e lógica aplicada a problemas reais da empresa. 2 2 FUNDAMENTOS DE SISTEMAS OPERACIONAIS A disciplina de Fundamentos de Sistemas Operacionais trata da compreensão dos princípios básicos de um sistema operacional, que é um software que gerencia os recursos de hardware de um computador e fornece uma interface entre o usuário e a máquina. A disciplina abrange temas como gerenciamento de processos, gerenciamento de memória, gerenciamento de dispositivos de entrada e saída, sistemas de arquivos, redes e segurança. Além disso, é importante entender a evolução dos sistemas operacionais ao longo do tempo, desde sistemas operacionais simples e monolíticos até sistemas mais complexos e modernos, como os sistemas operacionais baseados em microkernel. A compreensão desses conceitos é fundamental para a formação de profissionais de tecnologia que trabalham com desenvolvimento, implantação e gerenciamento de sistemas operacionais. Ainda para S. TANENBAUM (2014) um sistema operacional: "O papel de um sistema operacional é fornecer um ambiente no qual um usuário possa executar programas de maneira conveniente e eficiente. Um sistema operacional é um software que gerencia recursos de hardware e software do computador e fornece serviços comuns para programas de computador. Todos os programas de computador, excluindo firmware, requerem um sistema operacional para funcionar." 2.1 Gerações de computadores Dando origem à primeira geração (1945-1955), os primeiros computadores eram baseados em válvulas e usados principalmente para fins militares e científicos. O ENIAC (Electronic Numerical Integrator and Computer) é um exemplo famoso dessa época. Esses computadores eram caracterizados por suas grandes dimensões, alto consumo de energia e dados inseridos por cartões perfurados. 3 Figura 1 - Programadoras operam o primeiro computador eletrônico da história, o ENIAC A segunda geração de computadores (1955-1965) foi marcada pela contrução de computadores com transistores, o que reduziu muito o seu tamanho e aumentou sua eficiência. Nessa época surgiram linguagens de programação de alto nível, como o COBOL e o FORTRAN. Na terceira geração (1964-1971), os computadores começaram a utilizar circuitos integrados (CIs), que reuniam vários transistores em um único chip de silício. Isso permitiu a construção de computadores menores, mais rápidos e mais baratos. A IBM System/360 é um exemplo famoso dessa época. A quarta geração de computadores (1980-atualmente) é conhecida pelo surgimento dos microprocessadores, que reuniam todos os componentes do computador em um único chip. Isso permitiu a popularização dos computadores pessoais e a criação de novas aplicações, como os jogos eletrônicos. A IBM lançou o IBM PC no começo dos anos 80, e enfrentou dificuldades na negociação com a Digital Research para desenvolver um sistema operacional para seu computador. Por isso, a IBM recorreu a Bill Gates para criar um sistema operacional que fosse compatível com sua plataforma, o chamado MS-DOS. A principal característica dessa época é a evolução constante da tecnologia dos computadores, com o surgimento de novos dispositivos e o Fonte: CNN Brasil. 4 desenvolvimento de novas tecnologias como a inteligência artificial e a computação em nuvem. Figura 2 - IBM PC. Segundo Aspray (2006), cada uma das quatro gerações de computadores é marcada por avanços significativos em tecnologia e arquitetura de computadores. 2.2 IBM e seu papel fundamental no desenvolvimento de sistemas operacionais Fundamentos de Sistemas Operacionais é uma disciplina que se concentra na gestão e operação de sistemas de computadores. Por sua vez, a IBM é conhecida por suas soluções de software e hardware para empresas, que incluem sistemas operacionais como o z/OS, um sistema operacional de grande porte para mainframes, e o AIX, um sistema operacional Unix-like para servidores. A IBM também desenvolveu uma série de tecnologias e ferramentas para a gestão de sistemas operacionais, tais como o IBM Tivoli, um conjunto de produtos de gerenciamento de infraestrutura de TI, e o IBM Cloud Pak for Automation, uma plataforma de automação de processos de negócios. Fonte: IBM100. 5 2.3 IBM System/360 O OS/360 foi um sistema operacional desenvolvido pela IBM na década de 1960. Ele foi projetado para ser executado em computadores de grande porte da IBM, como o System/360. O OS/360 foi um marco na história da computação, pois foi um dos primeiros sistemas operacionais a serem distribuídos comercialmente. O novo sistema operacional apresentou muitas inovações técnicas, incluindo a capacidade de executar várias tarefas simultaneamente e o uso de uma estrutura hierárquica de gerenciamento de arquivos. Ele também introduziu o conceito de biblioteca de rotinas, que permitia que os programadores reutilizassem o código em vários programas. No entanto, o desenvolvimento do OS/360 foi um grande desafio para a IBM, pois o projeto era complexo e exigia muitos recursos. Estima-se que cerca de US$ 5 bilhões (em valores ajustados pela inflação) foram investidos no projeto do System/360, que incluía o desenvolvimento do OS/360 e do hardware do computador. Apesar desses desafios, o OS/360 foi um grande sucesso comercial e ajudou a estabelecer a IBM como líder no mercado de computadores de grande porte, tornando- se influência para o desenvolvimento de outros sistemas operacionais como UNIX e o MS-DOS da Microsoft, sendo este último o sistema operacional usado no primeiro computador pessoal lançado pela empresa. O PC (Personal Computer), que se torna um sucesso comercial. 6 2.4 Sistemas operacionais: a base essencial para a evolução da tecnologia Desde o surgimento dos primeiros sistemas operacionais, houve uma evolução constante em termos de recursos, desempenho, segurança e facilidade de uso. Com a popularização da tecnologia e a crescente demanda por dispositivoseletrônicos mais sofisticados, os sistemas operacionais têm desempenhado um papel importante na inovação e no desenvolvimento de novas tecnologias, como a inteligência artificial, a Internet das coisas (IoT) e a computação em nuvem, sendo a IBM uma das principais empresas a investir em tecnologias nesse campo. Em suma, os sistemas operacionais têm sido uma peça fundamental na evolução tecnológica, pois eles são responsáveis por fornecer uma interface entre o hardware e o software, permitindo que os usuários interajam com os dispositivos eletrônicos de forma eficiente e intuitiva. Figura 3 - IBM System 360 no Museu da História do Computador. Fonte: InfoLab Stanford University. 7 3 DESENVOLVIMENTO SUSTENTÁVEL O desenvolvimento sustentável é uma abordagem que visa atender às necessidades do presente sem comprometer a capacidade das gerações futuras de atender às suas próprias necessidades. Isso requer uma abordagem integrada e equilibrada do desenvolvimento econômico, social e ambiental O conceito de desenvolvimento sustentável começou a ganhar destaque na década de 1980 como resposta à preocupação crescente com o impacto das atividades humanas no meio ambiente e na sociedade. Ele se baseia na ideia de que é possível conciliar o crescimento econômico com a proteção ambiental e o bem-estar social, garantindo assim um futuro mais justo e equilibrado para as gerações presentes e futuras. Para a ex-primeira ministra da Noruega, Gro Brundtland (1987), desenvolvimento sustentável é aquele que satisfaz as necessidades do presente sem comprometer a capacidade das gerações futuras de satisfazerem as suas próprias necessidades. Durante muito tempo, a relação entre o homem e a natureza foi bastante desigual. Por um lado, o homem, com sua inteligência e ambição, buscava satisfazer seus desejos de consumo e conforto. Por outro lado, a natureza, rica e exuberante, era fonte de todas as atividades humanas. Em algumas situações, o homem precisava escolher entre sua própria sobrevivência e a preservação do meio ambiente, como no caso do agricultor que retira da terra o alimento necessário para sua subsistência. Isso criava um dilema de quem deveria ser priorizado. O que causa preocupação é o desenvolvimento desenfreado promovido pelo homem em benefício de seus próprios interesses. Esse tipo de comportamento durou muitos anos, até que a natureza começou a dar sinais de alerta. Para alcançar o desenvolvimento sustentável, é necessário abordar questões relacionadas à mudança climática, uso eficiente dos recursos naturais, gestão de resíduos, energia limpa, agricultura sustentável, entre outras. É importante envolver governos, empresas e a sociedade em geral na busca por soluções sustentáveis. O desenvolvimento sustentável não é apenas uma questão de responsabilidade social, mas também uma oportunidade para impulsionar o crescimento econômico de 8 maneira justa e equitativa, proteger o meio ambiente e melhorar a qualidade de vida das pessoas em todo o mundo. Desde o surgimento das primeiras cidades, a humanidade tem explorado e utilizado recursos naturais para atender às suas necessidades básicas de sobrevivência, como água, alimentos e materiais de construção. No entanto, essa exploração excessiva e sem consideração pelos impactos ambientais acabou causando problemas ambientais significativos. Com o aumento da população e da urbanização, esses problemas ambientais se tornaram cada vez mais complexos e desafiadores. Hoje, a humanidade enfrenta desafios ambientais globais como as mudanças climáticas, a perda de biodiversidade, a escassez de recursos naturais e a poluição generalizada. Para enfrentar esses desafios, é fundamental adotar práticas mais sustentáveis e reduzir nossa pegada ambiental, considerando as consequências de nossas ações sobre o meio ambiente e adotando medidas para minimizar os impactos negativos. Isso Figura 4 - Charge de Turcius Fonte: ONG CEA (Centro de Estudos Ambientais). 9 inclui o uso de fontes de energia renováveis, a redução do desperdício e o consumo consciente de recursos naturais. 3.1 As bases do desenvolvimento sustentável O desenvolvimento sustentável tem como base três pilares interdependentes: o social, o ambiental e o econômico. Esses pilares foram definidos pela primeira vez em 1987 pela Comissão Mundial sobre Meio Ambiente e Desenvolvimento da ONU, no relatório "Nosso Futuro Comum". O pilar social se refere às questões relacionadas à qualidade de vida e à equidade social. Isso inclui garantir acesso a serviços básicos como saúde, educação, moradia, alimentação, água e saneamento, além de promover a inclusão social e a igualdade de oportunidades para todos. O pilar ambiental se refere à preservação e proteção dos recursos naturais, como a biodiversidade, os ecossistemas, o ar e a água. Isso inclui a redução da poluição, a gestão adequada dos resíduos, a conservação dos recursos naturais e a promoção do uso de energias renováveis e tecnologias mais limpas. O pilar econômico se refere ao desenvolvimento econômico de forma sustentável, ou seja, garantindo o crescimento econômico sem comprometer os recursos naturais e o bem-estar social. Isso inclui a promoção da inovação tecnológica, a diversificação econômica, a melhoria da eficiência energética e a promoção de modelos de negócios mais sustentáveis. O desenvolvimento sustentável busca, portanto, conciliar esses três pilares de forma equilibrada e integrada, buscando atender às necessidades do presente sem comprometer as gerações futuras. 3.2 IBM e sustentabilidade A IBM tem se destacado em suas iniciativas relacionadas ao desenvolvimento sustentável, buscando minimizar o impacto ambiental e promover ações que contribuam para um mundo mais sustentável. 10 A empresa estabeleceu metas de sustentabilidade para reduzir suas emissões de gases de efeito estufa e adotou práticas para promover a eficiência energética em suas operações, reduzindo seu consumo de energia e buscando fontes de energia renovável. Para reduzir as emissões de gases de efeito estufa em suas operações, a IBM tem adotado medidas como a otimização da eficiência energética de seus data centers e a utilização de fontes de energia renovável em suas operações, como a energia solar e eólica. Além disso, a empresa tem investido em tecnologias de monitoramento e gerenciamento de energia para identificar oportunidades de redução do consumo e das emissões. Anualmente, a IBM tem divulgado relatórios sobre suas metas de sustentabilidade e progressos alcançados. Seguem alguns números relacionados à meta de redução de emissões de gases de efeito estufa: • Em 2020, a IBM alcançou a meta de reduzir as emissões de gases de efeito estufa em 40% em relação a 2005, dois anos antes do prazo estabelecido para atingir essa meta. • A IBM estabeleceu uma nova meta de reduzir as emissões de gases de efeito estufa em 65% em relação a 2010 até 2025. • Em 2020, 47% do consumo total de energia da IBM foi proveniente de fontes renováveis, como a energia solar e eólica. • A IBM tem investido em projetos de economia circular, como o reuso e reciclagem de equipamentos de TI, e em 2020, 79% do lixo eletrônico gerado pela empresa foi encaminhado para reciclagem. Esses números são apenas alguns exemplos do compromisso da IBM com a sustentabilidade e a redução do impacto ambiental de suas operações. A empresa tem adotado diversas medidas para promover a sustentabilidade em suas operações e em seus projetos, e tem trabalhado em parceria com clientes e fornecedores para alcançar seus objetivos. 11 4 ESTATÍSTICA A estatística é uma disciplina que lida com a coleta, análise e interpretação de dados para fins de tomada de decisão em diferentes áreas, desde a pesquisa científica até a economia e os negócios.A estatística descritiva é a parte da estatística que se preocupa com a descrição dos dados coletados, enquanto a inferência estatística se preocupa em tirar conclusões a partir de uma amostra representativa do universo estudado. Para aplicar a estatística na prática, é necessário escolher a técnica estatística mais adequada para o problema em questão, e saber como realizar a coleta de dados de forma correta e representativa. A estatística é uma ferramenta fundamental para a tomada de decisão em diferentes áreas, desde a pesquisa científica até a economia e os negócios, e é cada vez mais importante em um mundo cada vez mais baseado em dados e tecnologia. A IBM utiliza a disciplina de estatísticas em diversas áreas e projetos, desde a análise de dados de negócios até o desenvolvimento de soluções de inteligência artificial e machine learning. Algumas das maneiras pelas quais a IBM se integra com a disciplina de estatísticas incluem análise de dados de negócios, machine learning e inteligência artificial e internet das coisas (IoT). 4.1 Análise de Dados de Negócios A IBM oferece soluções de análise de dados, como o IBM SPSS Statistics, que é um software de análise estatística que ajuda organizações a coletar, analisar e visualizar dados para tomadas de decisões mais informadas. O IBM SPSS Statistics permite que os usuários executem uma ampla gama de análises estatísticas, incluindo testes de hipóteses, regressão linear e múltipla, análise fatorial e de cluster, e análise de sobrevivência, sendo amplamente utilizado em diversos setores, incluindo saúde, finanças, governo, educação e manufatura. Por exemplo, em 2020, a Universidade de Oxford utilizou o SPSS Statistics para analisar os resultados de uma pesquisa nacional sobre a saúde mental durante a pandemia de COVID-19 no Reino 12 Unido. Essas análises podem ajudar a identificar padrões, tendências e relações em dados que seriam difíceis ou impossíveis de detectar manualmente. Em 2020, o IBM SPSS Statistics foi classificado como o software líder em análise de dados preditivos pelo relatório "The Forrester Wave: Predictive Analytics and Machine Learning Solutions, Q1 2020", da empresa de pesquisa Forrester. 4.2 Machine Learning e Inteligência Artificial O uso da estatística é fundamental para o desenvolvimento de algoritmos de machine learning e inteligência artificial. Essas técnicas envolvem o processamento e análise de grandes quantidades de dados para identificar padrões e insights úteis. A estatística é usada para ajudar a extrair informações desses dados e torná-los utilizáveis para o desenvolvimento de modelos de machine learning e IA. A IBM tem sido um grande impulsionador no desenvolvimento de soluções de machine learning e inteligência artificial (IA) para empresas em todo o mundo. A empresa oferece diversas soluções de machine learning e IA para empresas, incluindo o IBM Watson, uma plataforma de IA que permite que as empresas criem chatbots, desenvolvam sistemas de reconhecimento de voz e imagem, e automatizem tarefas de negócios. 4.3 Internet das Coisas (IoT) A Internet das Coisas (IoT) é um sistema de dispositivos interconectados, que são capazes de se comunicar entre si e com a internet, permitindo a coleta, armazenamento e análise de grandes quantidades de dados. A IBM é uma das empresas líderes no desenvolvimento de soluções de IoT e tem uma presença significativa nesse mercado. A IBM oferece plataformas de IoT que ajudam as empresas a coletar, armazenar e analisar dados de dispositivos conectados. A plataforma Watson IoT permite que as empresas gerenciem e monitorem dispositivos em tempo real, utilizando a inteligência artificial para processar e analisar grandes volumes de dados. A Internet das Coisas (IoT) 13 e a Estatística estão intimamente relacionadas, pois a análise estatística de dados é essencial para a compreensão e utilização dos dados coletados pelos dispositivos IoT. Em 2020, a IBM lançou uma iniciativa chamada AI Fairness 360, que é um conjunto de ferramentas de software de código aberto projetadas para ajudar os desenvolvedores a garantir a equidade e a transparência nos sistemas de inteligência artificial. Essas ferramentas incluem algoritmos estatísticos para detecção de viés em dados. Em resumo, a IBM tem um forte envolvimento com a IoT, oferecendo soluções de plataforma, análise de dados, segurança e soluções específicas para setores industriais. 14 5 LÓGICA A disciplina de lógica proporciona uma compreensão aprofundada da lógica e suas aplicações, desenvolvendo habilidades para analisar, representar e avaliar argumentos, identificar falácias e inconsistências, e produzir conclusões logicamente válidas. As áreas abordadas são fundamentos da lógica proposicional e de predicados, além de outras técnicas como a lógica modal, deôntica, a lógica matemática e a teoria da computação. Eles também são introduzidos a diferentes sistemas lógicos e suas aplicações em diversas áreas, como a matemática, a ciência da computação, a filosofia, o direito e a linguística. A lógica oferece métodos e técnicas para analisar, representar e avaliar argumentos e raciocínios, permitindo identificar falácias e inconsistências e produzir conclusões logicamente válidas. Dessa forma, a lógica é uma ferramenta fundamental para a investigação científica, o discurso político, o debate filosófico e a resolução de problemas em geral. 5.1 Lógica Matemática A lógica matemática é uma área da matemática que se preocupa com o uso da lógica para a análise e resolução de problemas matemáticos e outros problemas relacionados. Ela utiliza técnicas formais e rigorosas da lógica para analisar a estrutura das proposições matemáticas, identificar falhas na argumentação e desenvolver prova de teoremas. A lógica matemática também é utilizada em outras áreas, como a ciência da computação e a filosofia, e fornece as bases para a formalização de sistemas de computação e a verificação de software, bem como a formalização de sistemas lógicos em geral. Em resumo, a lógica matemática combina a matemática e a lógica para estabelecer fundamentos rigorosos para a matemática e outras áreas, além de fornecer ferramentas para a solução de problemas e a formalização de sistemas lógicos. 15 5.1.1 Lógica proposicional Uma proposição é uma sentença declarativa que pode ser verdadeira ou falsa. Por exemplo, "2 + 2 = 4" é uma proposição verdadeira, enquanto "o céu é verde" é uma proposição falsa. 5.1.2 Conectivos lógicos Os conectivos lógicos são palavras que combinam proposições para formar novas proposições. Os principais conectivos lógicos são "e", "ou" e "não". Por exemplo, a proposição "2 + 2 = 4 e o céu é azul" é formada pela combinação da proposição "2 + 2 = 4" com a proposição "o céu é azul" pelo conectivo "e". 5.1.3 Tabela-verdade Uma tabela verdade é uma tabela que mostra todas as possíveis combinações de valores de verdade para as proposições e seus conectivos lógicos. Ela é usada para determinar o valor de verdade de uma proposição composta. 5.1.4 Implicação A implicação é um tipo de relação entre proposições, que afirma que se uma proposição (a antecedente) é verdadeira, então outra proposição (a consequente) também deve ser verdadeira. A implicação é representada pelo símbolo "→". 5.1.5 Quantificadores Os quantificadores são palavras que indicam o escopo de uma proposição quantificada. Os principais quantificadores são "para todo" (∀) e "existe" (∃). Por exemplo, a proposição "para todo número natural n, existe um número natural m tal que n < m" é uma proposição quantificada, onde o quantificador "para todo" indica que a proposição é verdadeira para todos os números naturais n. 16 5.2 Lógica e suaimportância fundamental para a IBM A IBM, como uma das maiores empresas de tecnologia do mundo, tem uma forte relação com a disciplina de lógica. A lógica matemática, em particular, é um campo importante para a IBM devido ao seu uso em programação, análise de algoritmos e verificação de software. A corporação tem utilizado essa lógica para a formalização e verificação de sistemas complexos, permitindo a identificação e correção de falhas em sistemas de software antes de sua implantação em larga escala. A lógica matemática e suas diversas ramificações é uma ferramenta fundamental em diversas áreas da computação, e a IBM utiliza essa ferramenta em diferentes aplicações. Como por exemplo, na área de inteligência artificial, a IBM utiliza a tabela- verdade, uma ferramenta da lógica proposicional, para modelar e validar algoritmos de aprendizado de máquina. Isso envolve a criação de tabelas-verdade para cada conjunto de variáveis e valores possíveis, permitindo que os pesquisadores testem as regras e as hipóteses subjacentes ao algoritmo e verifiquem sua validade. Na verificação de hardware a lógica proposicional é usada para verificar a corretude de circuitos integrados (chips) e sistemas em larga escala. A IBM utiliza uma técnica chamada model checking para analisar os circuitos em busca de possíveis erros, e a lógica proposicional é essencial para a criação dos modelos matemáticos usados na verificação. Já no desenvolvimento de software, A lógica proposicional e a lógica de quantificadores são fundamentais pois elas fornecem um método formal para especificar requisitos, projetar algoritmos e verificar a correção de programas. A lógica proposicional pode ser usada para expressar os requisitos funcionais e não funcionais do software em termos de proposições simples. Por exemplo, a afirmação "o usuário deve ser capaz de se conectar ao sistema" pode ser expressa como uma proposição "conexão do usuário", que pode ser combinada com outras proposições para formar uma especificação mais complexa. Em sua vez, a lógica de quantificadores é usada para descrever propriedades de coleções de objetos ou conjuntos, e é especialmente útil na especificação de requisitos 17 que envolvem quantidades variáveis. Por exemplo, a afirmação "todos os usuários devem ter uma senha segura" pode ser expressa na lógica de quantificadores como "para todo usuário, existe uma senha segura associada a esse usuário". Além disso, a lógica proposicional e a lógica de quantificadores são usadas para verificar a correção de programas através de métodos formais, como a prova de teoremas e a verificação de modelos. Essas técnicas podem ser usadas para verificar se um programa cumpre os requisitos especificados e se não há erros de lógica no código. A disciplina de lógica é muito importante para a IBM, sendo fundamental para a área de computação, pois é a base para a construção de sistemas de software, algoritmos e raciocínio computacional. A IBM, em particular, é conhecida por seu histórico de investimento em pesquisa e desenvolvimento de tecnologias avançadas, como inteligência artificial, computação em nuvem e blockchain. A lógica é uma disciplina crucial nessas áreas, pois permite que as equipes de desenvolvimento construam sistemas confiáveis e eficientes que funcionam de acordo com regras lógicas rigorosas. Além disso, a IBM é conhecida por seu trabalho em sistemas de processamento de dados em larga escala e em ambientes complexos. A lógica é essencial para lidar com a complexidade desses sistemas e garantir que eles funcionem corretamente. Em resumo, a lógica é uma ferramenta essencial para a IBM, pois fornece a base para a construção de sistemas confiáveis e eficientes, bem como para a resolução de problemas complexos de computação e dados. 18 6 CONCLUSÃO Este Projeto Integrado Multidisciplinar (PIM) permitiu analisar e avaliar a interação entre as disciplinas de Fundamentos de Sistemas Operacionais, Desenvolvimento Sustentável, Estatística e Lógica, buscando entender como esses conhecimentos podem ser aplicados de forma conjunta para solucionar problemas de forma eficiente e sustentável usando como principal exemplo a empresa IBM. O conhecimento em Fundamentos de Sistemas Operacionais é essencial para o entendimento dos processos tecnológicos e aprimoramento de sistemas, enquanto a disciplina de Desenvolvimento Sustentável se mostra cada vez mais importante, uma vez que a sociedade busca por soluções que não agridam o meio ambiente. Por sua vez, a Estatística é fundamental para análise de dados e tomada de decisões estratégicas, e a Lógica é uma base para o desenvolvimento de algoritmos e solução de problemas complexos. Todas as disciplinas mencionadas são de extrema importância na produção tecnológica da IBM, seja para a manutenção de sistemas e serviços e na evolução de tecnologias como inteligência artificial, machine leaning e computação em nuvem. Os resultados obtidos também indicaram que a aplicação conjunta dessas disciplinas pode gerar soluções mais eficientes e sustentáveis, contribuindo para um desenvolvimento mais equilibrado e responsável em diferentes áreas. Assim, concluímos que a integração das disciplinas analisadas é essencial para o desenvolvimento de soluções inovadoras, que respeitem o meio ambiente e sejam eficientes do ponto de vista tecnológico e estratégico. Esperamos que este trabalho possa contribuir para a formação de profissionais mais completos e capazes de solucionar problemas de forma sustentável e eficiente em diferentes contextos. 19 7. REFERÊNCIAS ASPRAY, W. (1990). John von Neumann and the Origins of Modern Computing. Cambridge, MA: MIT Press. BADER, J. D. A History of IBM's Early Computers. PhD Dissertation, Georgia Institute of Technology, Atlanta, GA, 2019. BRUNDTLAND, G. et al. Relatório Brundtland: Our Common Future. Oxford: Oxford University Press, 1987. IBM. Our History. Available at: https://www.ibm.com/ibm/history/. Acesso em: 10 abr. 2023. MARTINS, E. A.; GALVÃO, D. S. Fundamentos de Sistemas Operacionais. Revista Brasileira de Computação, v. 35, n. 2, p. 23-35, 2013. PIMENTA, C. F.; LIMA, J. C. F. Biocombustíveis no Brasil e no Mundo: Histórico, Desenvolvimento e Perspectivas. São Paulo: Editora Senac São Paulo, 2012. ROTH, S. The IBM PC: 30 Years of Influence. Computer, v. 45, n. 8, p. 11-14, 2012. SILVA, L. S.; SANTOS, R. A. Desenvolvimento Sustentável e Responsabilidade Social Empresarial: Uma Análise das Práticas de Grandes Empresas no Brasil. Revista de Administração, v. 43, n. 4, p. 347-360, 2008. TANENBAUM, A. S.; BOS, H. Modern Operating Systems. 4th ed. Upper Saddle River, NJ: Prentice Hall, 2014. URBAN, T. L.; KREBS, M. J. IBM SPSS Statistics 26 Step by Step: A Simple Guide and Reference. 17th ed. Abingdon, UK: Routledge, 2019. UNESCO. Sustainable Development Goals. Disponível em: http://en.unesco.org/sustainable-development-goals. Acesso em: 14 abr. 2023. https://www.ibm.com/ibm/history/ http://en.unesco.org/sustainable-development-goals
Compartilhar