Lógica e Raciocínio
A Lógica é uma das bases do pensamento científico. O raciocínio lógico está subjacente às mais diversas áreas do conhecimento, por exemplo, biologia, direito, medicina, economia e informática. Em cada uma destas áreas existe a preocupação de diferenciar entre argumentos racionais, baseados em princípios ou em evidência, de especulações que não resultam de um conjunto de suposições. Ou seja, todas estas áreas do conhecimento se baseiam nos princípios subjacentes à Lógica.
O objetivo deste livro cobre os fundamentos de lógica clássica proposicional e de 1.ª ordem, bem como uma introdução à programação em lógica e à linguagem Prolog.
Com efeito, o livro não se fica por apresentar os principais conceitos da lógica clássica, explicando sempre como se põem esses conceitos “a funcionar” e apresentando métodos computacionais quer para prova, quer para o sistema semântico. Para além do uso de Informática/Computação ao ser viço da Lógica, como é o caso nos métodos computacionais para prova e para e.g. determinação de satisfazibilidade, o livro apresenta ainda casos em que é a Lógica que está ao serviço da Informática. São exemplos disto o uso da Lógica para Representação do Conhecimento em Inteligência Artificial e, bem mais desenvolvido, o uso da Lógica para Programação Declarativa. Esta combinação de Lógica e Informática não se encontra nos principais textbooks de Lógica. Por exemplo, não se encontram livros pedagógicos que cubram de forma tão completa os conceitos fundamentais da lógica e que, simultaneamente, apresentem algoritmos de SAT e programação em lógica.
A escolha dos temas e a forma como são abordados tornam claro que, sendo um livro de Lógica, é um livro escrito por um Informático e especialmente direcionado para estudantes de Informática.
| Editora | Ist Press |
|---|---|
| Coleção | Coleção Ensino da Ciência e da tecnologia |
| Categorias | |
| Editora | Ist Press |
| Negar Chronopost e Cobrança | Não |
| Autores | Martins, João Pavão |
João Pavão Martins obteve o doutoramento em Inteligência Artificial pela “State University of New York at Buffalo” em 1983 e a agregação em Engenharia Informática pela Universidade Técnica de Lisboa em 1991. É Professor Catedrático no Instituto Superior Técnico. Foi um dos proponentes da Licenciatura em Engenharia Informática e de Computadores (LEIC) do IST, tendo sido o seu coordenador durante cinco anos. Tem lecionado cadeiras de introdução à programação desde 1980, preocupando-se com o ensino de programação disciplinada. É autor de dois livros de introdução à programação, um deles publicado nos Estados Unidos. É investigador no Grupo de Inteligência Artificial do IST, inserido no IDMEC, desenvolvendo a sua investigação nas áreas de Representação do Conhecimento e Revisão de Crenças. Foi compilador de dois livros e autor de múltiplos artigos científicos.
-
Programação em PythonEmbora recente, o Python é uma das linguagens de programação mais populares do mundo, sendo utilizada na Google, Yahoo!, YouTube, Facebook, Walt Disney, Nokia, CERN e NASA, entre muitas outras organizações. Este livro apresenta uma introdução aos conceitos fundamentais da programação. O livro utiliza o Python como uma ferramenta para exprimir os conceitos introduzidos, sendo o seu objetivo o ensino de conceitos essenciais associados à programação, tais como o desenvolvimento de algoritmos utilizando o método do topo para a base, a utilização de estruturas de informação adequadas, a abstração procedimental e a abstração de dados, estratégias para teste e depuração e a documentação correta. Existem vários aspetos que fazem com que este livro se distinga de outros livros de introdução à programação: • apresenta a atividade de programação como uma construção de abstrações, tanto de abstrações de procedimentos, como de abstrações de dados; • discute a programação imperativa, a programação por objetos e a programação funcional; • enfatiza a distinção entre a sintaxe e a semântica. Para dominar a tarefa de programação não basta saber falar com a linguagem (escrever programas), é também necessário saber falar sobre a linguagem (utilizando português ou outra linguagem como metalinguagem). Este aspeto é abordado ao longo de todo o livro; • a metodologia para o desenvolvimento de tipos abstratos de informação é explicada em termos claros, e exemplos de tipos abstratos de informação são discutidos pormenorizadamente.
-
Informática e Tecnologias da InformaçãoA informática e as tecnologias de informação invadiram o nosso dia-a-dia pessoal e profissional. A sua importância é tal, que, sem qualquer receio, poderemos afirmar que quem não dominar pelo menos os rudimentos básicos destas novas realidades delas se verá excluído, logo quebrados os laços para a construção de um futuro profissional e pessoal melhor.Esta obra, com forte sentido pedagógico, e passo a passo, introduz o leitor nestas novas realidades. Os leitores que pretendam aceder e tirar partido das novas tecnologias de informação, mesmo partindo do zero, encontrarão neste livro um precioso auxiliar e «companheiro» na jornada emocionante para o futuro. Escrito por um autor angolano e perfeitamente adaptado à realidade angolana, este livro, sendo pioneiro na sua área, ajudará a dinamizar o conhecimento e a construção de uma cultura da informação de que tirarão partido imediato os seus leitores e, posteriormente, o próprio país.1. Conceitos Básicos de Informática2. Informação Digital3. Principais Componentes de um Computador4. Software5. Redes de Computadores e Internet6. Intranet e Extranet7. Ameaças digitais e meios de contaminação8. Sistemas de Protecção9. Auditoria Informática -
Exercícios de Excel para EstatísticaApesar da existência no mercado de muitas aplicações informáticas específicas para Estatística que implementam variados métodos e técnicas de tratamento de dados, estas são exigentes em recursos de computação e formação de bons utilizadores. Em alternativa, encontram-se outras aplicações informáticas genéricas com componentes de Estatística poderosas, como, por exemplo, o Excel da Microsoft, que tem a seu favor o facto de estar instalado em quase todos os computadores e de ser extensamente utilizado. Assim, este livro visa apresentar o Excel da Microsoft como ferramenta de cálculo estatístico através da resolução de exercícios que servem os objetivos da Introdução à Estatística e Estatística I de diversos cursos de licenciatura e de mestrado em Gestão, Economia e Engenharia. A resolução dos exercícios enfatiza a formulação do problema onde se relacionam os conhecimentos de Estatística e as funcionalidades do Excel que os implementam. Por conseguinte, o Exercícios de Excel para Estatística é útil para a aquisição e revisão de conceitos fundamentais de Estatística e de Excel, quer para estudantes de licenciaturas e mestrados, quer para profissionais, cuja atividade inclua a análise de dados estatísticos. Com 232 exercícios resolvidos de Estatística Descritiva e Inferência Estatística, este livro cobre a versão 2013 do Excel, sendo também útil para as versões anteriores. Conteúdos: - Descrição gráfica de dados - Descrição numérica de dados - Probabilidades - Distribuições discretas - Distribuições contínuas - Amostragem - Estimação por intervalo - Teste de hipóteses -
Java 8 POO + Construções FuncionaisJava 8 é uma linguagem de Programação Orientada pelos Objetos (POO) e assume-se como a porta de entrada principal para o que se designa por JAVA moderno. Trata-se de um conceito que pretende dar a entender que nada (de Java 5 a Java 7) foi perdido, mas que Java 8, para além de incorporar e melhorar os desenvolvimentos anteriores, introduz construções funcionais que visam uma codificação mais declarativa e simples, bem como a otimização automática do código para as atuais máquinas multi-core. Dada a sua importância e a revolução que provocou no modelo de programação com as coleções, as novas construções funcionais introduzidas em Java 8 são insubstituíveis no futuro da linguagem JAVA, cujas versões posteriores irão concentrar-se apenas em melhorias de performance, sem alterações de sintaxe da linguagem. Neste livro abordam-se todas as questões sintáticas, técnicas, pragmáticas e metodológicas do desenvolvimento de aplicações de POO em JAVA moderno, usando a versão Java 8 e seguindo as melhores práticas da Engenharia de Software. São destinatários deste livro alunos dos ensinos superior, secundário e profissional, bem como profissionais e autodidatas. Todos os que pretendem iniciar-se no paradigma da POO usando JAVA deverão realizar uma leitura sequencial da obra, que é de grau de dificuldade crescente. Aqueles que já possuem conhecimentos de POO e de JAVA poderão atualizá-los realizando leituras temáticas específicas em função das suas necessidades de aprendizagem ou curiosidade. -
Cálculos Elementares com Excel - 74 ExercíciosEste livro, o primeiro da coleção Cadernos de Excel, visa a construção de uma base de conhecimento das funcionalidades do Excel que facilite o estudo e a aprendizagem dos conteúdos programáticos de diversas disciplinas e cursos. Através de 74 exercícios resolvidos, o leitor experimenta a formulação de problemas, uma melhor compreensão das soluções e uma automatização através de cálculos repetidos. Destinado a estudantes e docentes do ensino superior e de outros níveis de ensino, este livro, a par dos restantes títulos da coleção, é um instrumento precioso também para os profissionais das áreas de Economia, Gestão, Engenharia e outras. Cobre o Excel 2016 e 365 e é útil para as versões anteriores. -
Gráficos com Excel - 95 ExercíciosEste livro, o segundo da coleção Cadernos de Excel, apresenta o tratamento de dados, recolha, organização, análise, síntese, conclusão e previsão, através da representação gráfica no Excel. Organizado em 10 capítulos, contém 95 exercícios resolvidos que demonstram os vários tipos de gráficos, as suas funcionalidades, as combinações possíveis e a construção dos modelos mais adequados ao tratamento de dados pretendido. Destinado a estudantes e docentes do ensino superior e de outros níveis de ensino, este livro, a par dos restantes títulos da coleção, é um instrumento precioso também para os profissionais das áreas de Economia, Gestão, Engenharia e outras. Cobre o Excel 2016 e 365 e é útil para as versões anteriores. -
Gestão de Sistemas de Informação -Frameworks, Modelos e ProcessosA obra Gestão de Sistemas de Informação integra um conjunto de dois livros que abordam temas essenciais da gestão de sistemas de informação, partilhando este título em comum, mas exibindo subtítulos distintos em função da natureza diferenciada dos temas abrangidos por cada um deles. Este primeiro livro – com o subtítulo Frameworks, Modelos e Processos – trata de aspetos essenciais associados à gestão de sistemas de informação, numa perspetiva de governance e alinhamento estratégico, gestão de benefícios de investimentos em SI/TI (Sistemas de Informação/Tecnologias de Informação), melhores práticas e modelos de maturidade associados, e gestão de processos de negócio. Integra ainda uma abordagem introdutória à investigação em contexto organizacional e culmina com a apresentação de um caso real de aplicação, correspondendo a uma intervenção de mudança realizada numa organização. Este livro tem o duplo objetivo de formar novos quadros profissionais para a organização e de desenvolver os profissionais existentes quer na área de SI/TI, quer nas vertentes de governance e de gestão. Assim, pretende, primordialmente, funcionar como livro de referência para o ensino da Gestão de Sistemas de Informação, quer ao nível de graduação, quer de pós-graduação. Inclui um caso prático de investigação-ação em contexto organizacional, respeitante a uma unidade de TI de uma grande instituição financeira. Temas abordados - Introdução e conceitos fundamentais - Frameworks de governance - Gestão de benefícios de investimentos em SI/TI - Melhores práticas e modelos de maturidade em SI/TI - Gestão de processos de negócio - Investigação em contexto organizacional -
Gestão de Sistemas de Informação - Pessoas, Equipas e Mudança OrganizacionalA obra Gestão de Sistemas de Informação integra um conjunto de dois livros que abordam temas essenciais da gestão de sistemas de informação, partilhando este título em comum, mas exibindo subtítulos distintos em função da natureza diferenciada dos temas abrangidos por cada um deles.Este segundo livro – com o subtítulo Pessoas, Equipas e Mudança Organizacional – trata de aspetos essenciais relacionados com a gestão das organizações que são igualmente relevantes para as áreas de Sistemas e Tecnologias de Informação (SI/TI), enquadrando perspetivas fundamentais no domínio do comportamento organizacional, do desenvolvimento e mudança organizacionais, da gestão das pessoas, e da qualidade e excelência organizacional. A abordagem aqui apresentada dá-nos uma visão estruturada da organização – uma vez que integrada num ambiente global, dinâmico e competitivo, onde a mudança, a inovação, a aprendizagem e o conhecimento são requisitos essenciais impostos pelo mercado – considerando estes fatores como fundamentais para a sua sobrevivência, desenvolvimento e afirmação na sociedade. Este livro tem o duplo objetivo de formar novos quadros profissionais para a organização e de desenvolver os profissionais existentes quer na área de SI/TI, quer nas vertentes de governance e de gestão. Assim, pretende, primordialmente, funcionar como livro de referência para o ensino da Gestão de Sistemas de Informação, quer ao nível de graduação, quer de pós-graduação. Temas abordados: ·Comportamento organizacional;·Mudança, aprendizagem e desenvolvimento organizacional;·Gestão de pessoas nas organizações;·Gestão da qualidade e modelos de excelência organizacional. -
Exercícios de Power BI - Importação, Edição e Visualização de DadosEste livro ilustra, através da resolução de 95 exercícios, a utilização do Power BI da Microsoft para importar dados provenientes de diversas aplicações de software e da Web e para os juntar e editar em formatos apropriados, de modo a facilitar a sua visualização em tabelas e gráficos. O leitor encontra na resolução dos exercícios selecionados não só a descrição, passo a passo, da utilização das funcionalidades mais importantes de importação, edição e visualização de dados, mas também apreende o contexto em que se aplicam e poderá, por analogia, deduzir outros tratamentos de dados que delas beneficiem. Destinado a estudantes e professores do ensino superior e de vários níveis de ensino profissional, este livro apresenta-se também como um precioso recurso para todos os profissionais que recolhem e tratam dados de diversas fontes para os incorporarem em relatórios de suporte à tomada de decisão. Conteúdos: · Criação de tabelas; · Importação e atualização de dados do Excel, do Access, de ficheiros de texto, de PDF e da Web; · Modelação de dados; · Deteção, inserção, edição e eliminação de relacionamentos; · Edição e transformação de dados; · Representação tabular e gráfica de dados; · Filtragem de dados; · Visualização interativa de dados.