Introducao a Sistemas Logicos - Slides da Aula na Faculdade Cotemig

Introducao a Sistemas Logicos Prof Julio Cesar da Silva Slides 1 Apresentacao Faculdade Cotemig Belo HorizonteMG Prof Julio Cesar da Silva Introducao a Sistemas Logicos 1 21 Sumario 1 Apresentacoes Professor Julio Cesar Alunos e Alunas 2 A Disciplina A Disciplina de ISL Conteudo Programatico Como estudaremos Relacoes com outras disciplinas e conhecimentos Benefıcios do aprendizado Mercado de Trabalho Atividades e Avaliacoes Dicas de Estudo Referˆencias Bibliograficas Alguma pergunta Prof Julio Cesar da Silva Introducao a Sistemas Logicos 2 21 O Professor Julio Cesar da Silva 1 Doutorando Mestre Bacharel 2 Atuou na iniciativa privada como administrador de sistemas 3 Atuou na iniciativa privada como empreendedor 4 Certificacoes Itil V3 Cobit e ScrumMaster Scrum Alliance 5 Leciona no ensino superior deste 2011 6 Areas de estudo Agilidade Scrum Modelos Matematicos Logica Matematica Teoria de Conjuntos ZFC Teoria da Computacao Filosofia da Matematica 7 LinkedIn httpswwwlinkedincominjuliocsilva Prof Julio Cesar da Silva Introducao a Sistemas Logicos 3 21 Alunas e Alunos Conhecendo quem sao vocˆes talvez novamente 1 Qual e o seu nome 2 Tem algum apelido que gosta 3 O que esta achando do curso que escolheu cursar 4 O que vocˆe ja ouviu falar ou o que vocˆe acha de Logica 5 E importante buscar fazer o nosso melhor Consegue justificar Prof Julio Cesar da Silva Introducao a Sistemas Logicos 4 21 Conteudo Programatico Quais assuntos estudaremos 1 Introducao a logica 2 Logica Proposicional CPC 3 Equivalˆencia Logica 4 Implicacao Logica 5 Validade Tautologia e Contradicao 6 Logica de Primeira Ordem CQC 7 Quantificacao 8 Estrutura para uma LPO Modelos 9 Aplicacoes Prof Julio Cesar da Silva Introducao a Sistemas Logicos 5 21 Como estudaremos juntos faremos a diferenca Qual e o estilo de aula 1 Aulas teoricas 2 Aulas com espaco para perguntas 3 Aulas com Execıcios e Correcao de exercıcios 4 Aulas presenciais 5 Aulas virtuais sıncronas ao vivo sextafeira Qual a sugestao para o meu estilo de estudo Anotar as aulas em caderno ou dispositivo virtual Fazer os exercıcios diariamente 10 ou 15 min por dia Buscar amigxs para estudar juntos Prof Julio Cesar da Silva Introducao a Sistemas Logicos 6 21 Relacoes com outras disciplinas e conhecimentos Onde aparece logica ao longo do curso Onde ela e importante para desenvolver sistemas 1 Programacao de Computadores if and or etc 2 AED 1 e 2 3 Inteligˆencia Artificial 4 Programacao Orientada a Objetos 5 Arquitetura de Computadores Xor Nand etc 6 Prova ENADE 7 Prova Concursos Prof Julio Cesar da Silva Introducao a Sistemas Logicos 7 21 Benefıcios do aprendizado 1 Quem entende a abstracao consegue programar em varias linguagens 2 Quem entende o argumento raciocina melhor 3 Se comunica melhor entende melhor assuntos complexos 4 Quem aprecia a logica busca ser a sua melhor versao Prof Julio Cesar da Silva Introducao a Sistemas Logicos 8 21 Mercado de Trabalho Prof Julio Cesar da Silva Introducao a Sistemas Logicos 9 21 Mercado de Trabalho Prof Julio Cesar da Silva Introducao a Sistemas Logicos 10 21 Mercado de Trabalho Link httpswwwroberthalfcombrblogcarreira14habilidadesmais valorizadasnomercadodetrabalhorc Prof Julio Cesar da Silva Introducao a Sistemas Logicos 11 21 Atividades e Avaliacoes Atividades sextafeira 30 pts 1 Quantidade e pontos 1 x 1 13 x 2 1 x 3 pontos 2 inicio 16022024 termino 07052024 3 Entregue sempre e apenas ao final das aulas de sextafeira Trabalho Pesquisa Individual 5 pts 1 Escrever uma resenha crıtica comparando o texto com o conteudo visto em sala de aula 2 O texto devera ser escrito usando o editor Latex wwwoverleafcom 3 Usar o Chat GPT para revisao de texto para aprender o Latex 4 Usar as dicas do professor Gabriel na disciplina LEA 5 Link do texto clique 6 Data da entrega 0506 Prof Julio Cesar da Silva Introducao a Sistemas Logicos 12 21 Atividades e Avaliacoes Provas Intermediarias 1520 pts duas provas sem conteudo acumulativo 1 Primeira Prova 08042024 e 10042024 15 pontos 5F e 2A 2 Segunda Prova 20052024 e 22052024 20 pts 5F e 2A Provas Finais e Prova Especial 30100 pts 1 Prova Final 24062024 e 26062024 30 pontos 5F e 2A 2 Prova Especial 09062024 100 pontos 10F A unica prova de conteudo acumulativo e a Prova Especial Prof Julio Cesar da Silva Introducao a Sistemas Logicos 13 21 Dicas de Estudo Prof Julio Cesar da Silva Introducao a Sistemas Logicos 14 21 Dicas de Estudo 1 O segredo e estudar sempre Nao e o tempo E a rotina 2 De segunda a sexta estude 10 minutos no mesmo horario 3 No fim de semana estude 20 minutos no mesmo horario 4 Refaca 1 a 2 exercıcios todos os dias 5 Anote as duvidas nao deixe de perguntar 6 Desligue o celular na hora da aula e na hora de estudar 7 Ensine as pessoas o que vocˆe gosta 8 Acompanhe os posts no Google ClassRoom 9 Sua vitoria vai valer a pena Prof Julio Cesar da Silva Introducao a Sistemas Logicos 15 21 Livros Principais 1 Para Todxs httpsgithubcomGrupodeEstudosemLogicada UFRNParaTodxsNatal 2 SOUZA Sergio Guedes de org Logica de programacao algorıtmica 1 ed Sao Paulo SP Pearson 2014 Ebook Disponıvel em httpsplataformabvirtualcombrLeitorPublicacao22146pdf0 3 STEIN C S et al Matematica discreta para ciˆencia da computacao 1 ed Sao Paulo SP Pearson 2013 Ebook Disponıvel em httpsplataformabvirtualcombrLeitorPublicacao3824pdf0 4 ASCENCIO Ana Fernanda Gomes CAMPOS Edilene Aparecida Veneruchi de Fundamentos da programacao de computadores algoritmos PASCAL CC padrao ANSI e JAVA 2 ed Sao Paulo Pearson 2012 Ebook Disponıvel em httpsplataformabvirtualcombrLeitorPublicacao3272pdf0 Prof Julio Cesar da Silva Introducao a Sistemas Logicos 16 21 Livros Secundarios Prof Julio Cesar da Silva Introducao a Sistemas Logicos 17 21 Referˆencias Nerds Prof Julio Cesar da Silva Introducao a Sistemas Logicos 18 21 Duvidas Duvidas Prof Julio Cesar da Silva Introducao a Sistemas Logicos 19 21 Obrigado juliocesarcotemigcombr Prof Julio Cesar da Silva Introducao a Sistemas Logicos 20 21 Prof Julio Cesar da Silva Introducao a Sistemas Logicos 21 21