LogMat 2013 Aula 00

Curso de Ciência da Computação Lógica Matemática Fernando Salles Claro Aula 00 – Apresentação da disciplina Agenda da Aula • • • • • • • • Apresentação do professor Apresentação da disciplina Bibliografias Processos de avaliação Datas importantes Lista de discussão Contrato pedagógico Passo a palavra 2 Apresentação do Professor • Nome: Fernando Salles Claro • Formação Acadêmica: ü 2014 – Mestrado em Eng. Mecânica – ênfase em Automação ü 2009 – MBA em Gestão de Pessoas ü 2001 – Graduação em Computação ü 1988 – Graduação em Tecnólogo em Proc. de Dados 3 Apresentação do Professor 4 Apresentação do Professor • Experiência Acadêmica: ü 26 anos como professor de curso técnico em informática. ü 7 anos como professor de curso superior: Engenharia Elétrica, Ciência da Computação, Sistemas de Informações, MBA em Gestão de Projetos, etc. ü 3 anos como coordenador de curso superior: Ciência da Computação e Eng. da Computação. 5 Apresentação do Professor • Experiência Acadêmica: ü 4 resumos publicados em anais de congressos ü 2 trabalhos completos publicados em anais de congressos. ü 59 participações em bancas de TCC ü 42 orientações de TCC ü 14 orientações em PIC (programa de iniciação científica). 6 Sobre a Disciplina Lógica Matemática 7 Apresentação da Disciplina • EMENTA ü A matemática e o Método Axiomático Dedutivo. ü Motivação para o estudo da…

ATIVIDADES PRÁTICAS SUPERVISIONADAS 2ª. Série Lógica Matemática Ciência da Computação A Atividade Prática Supervisionada (ATPS) é um procedimento metodológico de ensino-aprendizagem desenvolvido por meio de etapas, acompanhadas pelo professor, e que tem por objetivos:  Favorecer a autoaprendizagem do aluno.  Estimular a corresponsabilidade do aluno pelo seu aprendizado.  Promover o estudo, a convivência e o trabalho em grupo.  Auxiliar no desenvolvimento das competências requeridas…

FACULDADE ANHANGUERA DE VALINHOS CIÊNCIA DA COMPUTAÇÃO ATPS DE LÓGICA MATEMÁTICA BRUNA ANGÉLICA DOS SANTOS - RA: 8205972565 CAROLINE CASTRO COUTINHO LUIZ - RA: 8062791894 DOUGLAS DE MELO GONÇALVES - RA: 1299222577 JOÃO PEDRO DOS SANTOS - RA: 8205972908 YURI NASCIMENTO - RA: 8062805037 VALINHOS - SP JUNHO - 2015 BRUNA ANGÉLICA DOS SANTOS CAROLINE CASTRO COUTINHO LUIZ DOUGLAS DE MELO GONÇALVES JOÃO PEDRO DOS SANTOS YURI NASCIMENTO Trabalho apresentado ao…

ATIVIDADES PRÁTICAS SUPERVISIONADAS 2ª. Série Lógica Matemática Ciência da Computação A atividade prática supervisionada (ATPS) é um procedimento metodológico de ensino-aprendizagem desenvolvido por meio de um conjunto de etapas programadas e supervisionadas e que tem por objetivos:  Favorecer a aprendizagem.  Estimular a corresponsabilidade do aluno pelo aprendizado eficiente e eficaz.  Promover o estudo, a convivência e o trabalho em grupo.  Desenvolver os estudos…

CIÊNCIA DA COMPUTAÇÃO ATPS DE LÓGICA MATEMÁTICA De acordo com o que foram requisitados no ATPS de Lógica Matemática, todos os resultados foram desenvolvidos baseados nas aulas ministradas em sala. 2013 SUMÁRIO INTRODUÇÃO ------------------------------------------------------------------ 4 ETAPA 4 -------------------------------------------------------------------------------- 5 ETAPA 5…

BACHAREL EM CIÊNCIA DA COMPUTAÇÃO – 1ª FASE Fundamentos Matemáticos da Computação PROFESSOR: GUILHERME BITENCOURT MARTINS; A MATEMÁTICA DA COMPUTAÇÃO CIENTÍFICA ALUNO: ALEXANDRE BAUER; RIO DO SUL, MAIO DE 2014 Resumo O teorema de Löwenheim–Skolem em 1915 foi a primeira teoria de modelo, que estabeleceu que uma sentença tem modelos infinitos, sendo assim tem modelos numeráveis. Muito antes da invenção dos computadores modernos, a teoria da computação já estava em…

FACULDADE ANHANGUERA DE RIBEIRÃO PRETO Curso: CIÊNCIA DA COMPUTAÇÃO Disciplina: Lógica Matemática Professora: Kathia Garcia de Figueiredo Douglas Donizete Cardoso RA: 6265238887 ATIVIDADES PRÁTICAS SUPERVIOSIONADAS (ATPS) Ribeirão Preto/ SP Abril / 2015Douglas Donizete Cardoso RA: 6265238887 Relatório 1: Apresentação da Disciplina e Metodologia de Trabalho. Introdução à Lógica. Álgebra de Conjuntos. Relatório 2: Lógica Proposicional – Linguagem; Conectivos e…

Universidade Anhanguera de São Paulo como requisito parcial para a obtenção de nota, sob a orientação do professor Vlamir Belfante. RESUMO Nesse trabalho abordaremos como assunto tema as pesquisas solicitadas na etapa 1 e passo 1,2 da Atividade Pratica Supervisionada (ATPS) do curso de Sistemas de Informação, tendo como base a Construção de Algoritmos, matéria solicitada pelo mestre acadêmico Vlamir Belfante, sendo principal objetivo analisar e…

PLT e demais bibliografias 3 PLANO DE ENSINO Ciências da Computação, TADS e Sistemas de Informação 1ª e 2ª Série 1ª e 2ª 4 PLANO DE ENSINO 5 CRONOGRAMA DE AULAS 6 DATAS IMPORTANTES Algumas datas importantes em nosso calendário: • Avaliações de Construção de Algoritmos » 1º Bimestre: 07/10 (TADS e SI) e 09/10 (SI) » 2º Bimestre: 02/12 (TADS e SI) e 04/12 (CC) - PROVA OFICIAL • ATPS » Atividade sempre na última 2ª feira do mês corrente » Para…

Anhanguera Campinas Unidade 3 Ciência da Computação Lógica Matemática Luiz Filipe de Castro Moraes 4997025726 Atividades Práticas Supervisionadas de Lógica Matemática Carlos Fernando Papotti Campinas, 11 de Abril de 2014 ATPS Lógica Matemática Etapa 1 – Introdução à Lógica. Álgebra dos conjuntos. “Sabendo-se que dos 110 funcionários de nossa empresa, 80 são casados, 70 possuem casa própria e 30 são solteiros e possuem casa própria.” (a) Mais da metade dos…