Busca avançada Busca avançada
frete FRETE GRÁTIS (Total Express) nas compras acima de R$ 199,00. (Valor Liquído).                     Parcele em até 8x (parc. mín. de R$ 45)  SAC: (11) 5080-0751 seg. a sex. das 8h às 17h.
frete FRETE GRÁTIS (Total Express) nas compras acima de R$ 199,00. (Valor Liquído).                     Parcele em até 8x (parc. mín. de R$ 45)  SAC: (11) 5080-0751 seg. a sex. das 8h às 17h.
frete FRETE GRÁTIS (Total Express) nas compras acima de R$ 199,00. (Valor Liquído).                     Parcele em até 8x (parc. mín. de R$ 45)  SAC: (11) 5080-0751 seg. a sex. das 8h às 17h.
frete FRETE GRÁTIS (Total Express) nas compras acima de R$ 199,00. (Valor Liquído).                     Parcele em até 8x (parc. mín. de R$ 45)  SAC: (11) 5080-0751 seg. a sex. das 8h às 17h.
frete FRETE GRÁTIS (Total Express) nas compras acima de R$ 199,00. (Valor Liquído).                     Parcele em até 8x (parc. mín. de R$ 45)  SAC: (11) 5080-0751 seg. a sex. das 8h às 17h.
frete FRETE GRÁTIS (Total Express) nas compras acima de R$ 199,00. (Valor Liquído).                     Parcele em até 8x (parc. mín. de R$ 45)  SAC: (11) 5080-0751 seg. a sex. das 8h às 17h.
frete FRETE GRÁTIS (Total Express) nas compras acima de R$ 199,00. (Valor Liquído).                     Parcele em até 8x (parc. mín. de R$ 45)  SAC: (11) 5080-0751 seg. a sex. das 8h às 17h.

A Cartilha da Lógica

Autor: NICOLETTI

ISBN: 9788521626930
Publicação: 13/01/2017
Edição: 3|2017
Formato: 17 X 24
Páginas: 236
Acabamento da capa: Brochura
Peso: 0,41kg
Selo Editorial: LTC
R$65,00

Essencial à compreensão do conhecimento em muitas searas, a Lógica guarda papel destacado e de extrema relevância para a Matemática e para a Computação. Evidenciar argumentos, sentenças e conteúdos inerentes ao ambiente das Ciências Exatas é fundamental e só se torna possível por meio de linguagens próprias e formais. A Cartilha da Lógica, em sua terceira edição, traz justamente todo o conteúdo necessário ao acompanhamento de disciplinas que tenham foco em Lógica Matemática. Ao longo de uma substancial carreira como docente e profissional da área, a professora Maria do Carmo Nicoletti compilou e atualizou ricas anotações de aulas, com um cuidado ímpar associado à didática e ao sequenciamento de temas. Composta por seis capítulos, a obra apresenta, ainda, listas de exercícios e inúmeros exemplos, figuras e tabelas que auxiliam o estudo e levam à compreensão de teorias, argumentações e resultados. Estudantes de Ciência da Computação, Matemática e Engenharia da Computação são o público-alvo do livro, cujo texto também pode ser utilizado em cursos de pós-graduação que demandam conhecimento mais embasado de Lógica.

Compartilhe:

Sinopse

Detalhes

Essencial à compreensão do conhecimento em muitas searas, a Lógica guarda papel destacado e de extrema relevância para a Matemática e para a Computação. Evidenciar argumentos, sentenças e conteúdos inerentes ao ambiente das Ciências Exatas é fundamental e só se torna possível por meio de linguagens próprias e formais. A Cartilha da Lógica, em sua terceira edição, traz justamente todo o conteúdo necessário ao acompanhamento de disciplinas que tenham foco em Lógica Matemática. Ao longo de uma substancial carreira como docente e profissional da área, a professora Maria do Carmo Nicoletti compilou e atualizou ricas anotações de aulas, com um cuidado ímpar associado à didática e ao sequenciamento de temas. Composta por seis capítulos, a obra apresenta, ainda, listas de exercícios e inúmeros exemplos, figuras e tabelas que auxiliam o estudo e levam à compreensão de teorias, argumentações e resultados. Estudantes de Ciência da Computação, Matemática e Engenharia da Computação são o público-alvo do livro, cujo texto também pode ser utilizado em cursos de pós-graduação que demandam conhecimento mais embasado de Lógica.

Sumário

Cap. 1 - Lógica Proposicional
Cap. 2 - Álgebra de Boole
Cap. 3 - Lógica de Predicados
Cap. 4 - Substituição, Unificação e Forma Normal em Lógica de Predicados
Cap. 5 - Resolução em Lógica de Predicados
Cap. 6 - Universo, Interpretação e Modelo de Herbrand

Exercícios
Bibliografia
Índice

Autoria

Com pós-doutorado em Inteligência Artificial pela University of New South Wales, na Austrália, Maria do Carmo Nicoletti iniciou seus estudos no curso de Matemática, concluindo a graduação pela Universidade Estadual Paulista “Júlio de Mesquita Filho” (Unesp). Conquistou também dois títulos de Mestre em Ciência da Computação: o primeiro, pelo Instituto de Ciências Matemáticas de São Carlos, da Universidade de São Paulo (ICMC/USP-São Carlos), e o segundo, três anos depois, pela University of Oxford, no Reino Unido. Possui, ainda, o doutorado em Física Computacional pelo Instituto de Física de São Carlos, da Universidade de São Paulo (IFSC/USP-São Carlos).
Durante mais de duas décadas, trabalhou como professora dos cursos de graduação e pós-graduação no Departamento de Computação da Universidade Federal de São Carlos (DC/UFSCar). Atuou, também, no mercado como analista de software, e suas pesquisas na área de Inteligência Artificial destacam métodos e técnicas de aprendizado de máquina e representação de conhecimento. Trabalha, ainda, na investigação de técnicas computacionais inteligentes no controle de sistemas bioquímicos e na modelagem computacional de processos biomoleculares. Atualmente, colabora como pesquisadora junto ao DC/UFSCar e à Faculdade Campo Limpo Paulista (FACCAMP).

Outras versões disponíveis

Você selecionou o formato Livro Impresso.
Esta publicação também está disponível em:

E-Book

Frete

Material suplementar

http://www.grupogen.com.br/avaconnector/index/redirectMaterial/course/9788521626930