- Details
- Category: Discipline
- Fais, R. M. Lógica Computacional. Artigos e exercícios sobre lógica computacional. Clube de Autores, 2020. Ben-Ari, M. Mathematical Logic for Computer Science. Springer, 3rd edition, 2012. Huth, M., & Ryan, M. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2004. Barwise, J., & Etchemendy, J. Language, Proof and Logic. CSLI Publications, 2nd edition, 2011.
- Artificial Intelligence
- 7159
- 18748
- Computational Logic
- ISLA Gaia7159-18748
- 1
- 6
- 0
- 27
- Não
- Português
- Innovative learning technologies will be used, including interactive Prolog and Python programming environments, digital platforms supporting practical activities, generative Artificial Intelligence tools, algorithm visualisation systems and automated feedback mechanisms. These technologies will enable students to explore concepts, test solutions, analyse results and promote more active, autonomous and problem-solving-oriented learning.
- Mandatory
- This curricular unit introduces the main concepts of Computational Logic, relating them to algorithms and problem-solving techniques. First, students work with logic programming in Prolog, representing knowledge through facts, predicates and rules, while exploring unification, resolution, recursion, backtracking and proof/search trees. In a second phase, Python is used to make algorithms explicit, test solutions, compare search strategies and implement data structures and rule-based systems. By the end of the unit, students should understand the foundations of programming logic, apply Prolog syntax and semantics, develop declarative solutions, translate logical problems into Python, compare paradigms, apply logic to Artificial Intelligence and expert systems, and analyse the efficiency and limitations of Prolog and Python.
- Introduction: problem solving, algorithms, knowledge representation and programming paradigms; the role of Prolog and Python. Logic Programming in Prolog: logic/declarative paradigm; facts, predicates, terms, clauses, queries, variables, unification, substitutions, rules, proof/search trees, SLD resolution, search strategies, backtracking and control predicates. Examples: knowledge bases, family relations and prerequisites. Prolog System: input/output, arithmetic, comparison, lists, recursion, predefined predicates, proof systems and inference machines. Recursive structures: lists, trees and graphs in Prolog and Python; search, cycle control, depth-first and breadth-first strategies. Grammars and languages: formal grammars, recognition, DCG in Prolog and simple parsers in Python. Expert systems: architecture, knowledge base, inference engine, explanation, limitations and Prolog/Python comparison.
Descrição dos instrumentos de avaliação (individuais e de grupo) ¿ testes, trabalhos práticos, relatórios, projetos... respetivas datas de entrega/apresentação... e ponderação na nota final.
Descrição
Data limite
Ponderação
Prova de avaliação
14-01-2027
60%
Trabalho prático de avaliação
07-01-2027
30%
Assiduidade e participação - minimo 70% de presenças.
----
10%
Avaliação Especial
Os estudantes com estatuto especial reconhecido podem requerer o regime especial de avaliação previsto no Regulamento Geral de Avaliação, mantendo-se os objetivos, competências e nível de exigência da unidade curricular, sem prejuízo das adaptações aplicáveis.
- Semestral
- The Computational Logic curricular unit introduces the main concepts of logic applied to computing, combining knowledge representation, logical reasoning, algorithms and problem solving. The unit follows a theoretical and practical approach, initially using Prolog to explore facts, rules, predicates, queries, unification, recursion, backtracking, proof trees and inference mechanisms. Python is then used as a complementary language to make algorithms explicit, implement data structures, compare search strategies and test solutions. Recursive structures, trees, graphs, grammars and expert systems are also addressed, promoting the ability to represent knowledge, infer conclusions and develop computational solutions grounded in logic.
- Details
- Category: Discipline
- Digital Communication
- 6808
- 7337
- Programming Fundamentals
- ISLA Gaia6808-7337
- 2
- 6
- 0
- 27
- Não
- Português
- Semestral
- Details
- Category: Discipline
- Tourism Management
- 6333
- 13752
- Cultural Heritage and Tourism
- ISLA Gaia6333-13752
- 2
- 5
- 0
- 27
- Não
- Português
- Semestral
- Details
- Category: Discipline
- BOAVIDA, Fernando / BERNARDES, Mário (2011), TCP/IP Teoria e Prática, FCA BOAVIDA, Fernando et al. (2010), Administração de Redes Informáticas, FCA CISCO, The Cisco Certified Network Associate Curriculum, (2020) Cisco System (online, Academia Cisco, www.netacad.com) GOUVEIA, José (2005), Redes de Computadores - Locais e Wireless - Curso Completo, FCA MOREIRA, José Joaquim (2007), ebook Redes de Comunicação de Dados I, ISLA-Gaia SOUSA, Lindberg (2006), TCP/IP Básico & Conectividade em redes, Editora Eriça VÉSTIAS, Mário (2008), Redes Cisco Para Profissionais, 4ª Edição Actualizada
- Computer Networks and Systems
- 2202
- 13148
- Networks and Data Communication I
- ISLA Gaia2202-13148
- 1
- 6
- 0
- 27
- Não
- Português
- Inclusion of active learning methodologies Interactive exhibition Problem-based learning
- Mandatory
- Knowing the main network models; Knowing the capabilities of the media data for organizational performance; Identify the various types of networks; Plan projects for data communication networks; Identify protocols and network architectures; Create local and long distance networks ; Identify and implement the various network devices; Knowing in detail, the IP address (Internet Protocol v4 and v6) as well as the mechanics of dividing IP addresses into subnets; Routers and switchs configuration; Analyze the quality in Data Communication Networks; Preparing for CCNA1 - Introduction to Networks Certification
- CCNA R&S 1 - Introduction to Networks: Ch 1: Exploring the Network Globally Connected LANs, WANs, and the Internet The Changing Network Environment Ch 2: Configuring a Network Operating System IOS Bootcamp Getting Basic Addressing Schemes Ch 3: Network Protocols and Communications Rules of Communication Network Protocols and Standards Moving Data in the Network Ch 4: Network Access Physical Layer Protocols Network Media Data Link Protocols Media Access Control Ch 5: Ethernet Ethernet Protocol LAN Switches Address Resolution Protocol Ch 6: Network Layer Network Layer Protocols Routing Routers Configuring a Cisco Router Ch 7: IP Addressing IPv4 Network Addresses IPv6 Network Addresses Connectivity Verification Ch 8: Subnetting IP Networks Subnetting an IPv4 Addressing Schemes Design IPv6 Ch 9: Transport Layer Transport Protocols TCP / UDP Ch 10: Application Layer Application Protocols ans Services Ch11: Implementing networks Project design Keeping Network Safe Network Performance Routing Services
Descrição
Data limite
Ponderação
6 Testes online
Fevereiro
5%
Exame final Cisco
Fevereiro
30%
Teste final
Fevereiro
65%
OU..
Descrição
Data limite
Ponderação
Teste de Avaliação Global
Fevereiro
100%
- Enunciado os trabalho, orientações e template de relatório disponivel no Moodle
- Semestral
- Provide a solid training in the areas of data communication, networks, LAN, WAN and Wireless Architectures, Communication protocols and topologies Drawing and structured project network Course CCNA Routing and Switching of Cisco Networking Academy Program. Preparing for CCNA certification (CCNA1 - Introduction to Networks)
- Details
- Category: Discipline
- Artificial Intelligence
- 7159
- 27535
- Exploratory Analysis and Data Preprocessing
- ISLA Gaia7159-27535
- 1
- 6
- 0
- 27
- Não
- Português
- Semestral
