• Entrega Imediata

e-Book

E-Book - A Cartilha da Lógica

  • ISBN:

    9788521633426

  • Edição: 3|2017
  • Editora: LTC

NICOLETTI

De: R$ 68,00 Por: R$ 57,80
ou em até 2x de R$ 28,90
< >
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 é fundamenta...

Conteúdo relacionado

  • Formato: Bookshelf
  • Páginas: 236
  • Publicação: 13/01/2017

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.

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

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).

O GEN | Grupo Editorial Nacional adota a plataforma de e-books VitalSource Bookshelf. Além de oferecer vários recursos, o Bookshelf permite até quatro instalações, sendo duas em dispositivos móveis (smartphones e tablets) e duas em computadores (desktops ou notebooks).

Compatibilidade

Além do acesso on-line (online.vitalsource.com), o Bookshelf está disponível para os seguintes sistemas: Windows, Mac OS X, iOS e Android.

Acesso aos e-books

  • Após a confirmação do pagamento, o e-book será associado a uma conta na VitalSource. Se você já for usuário do Bookshelf, o e-book será associado à conta existente; caso contrário, será criada uma conta com o e-mail utilizado para a compra;
  • Os dados para login devem ser informados no Bookshelf on-line ou na primeira utilização do aplicativo. Após novas aquisições, é importante clicar na opção “Atualizar biblioteca”.

Acessibilidade

  • O aplicativo Bookshelf dispõe de recursos para auxiliar os portadores de deficiência visual. Além da ampliação de caracteres, o aplicativo oferece a leitura com voz sintetizada;
  • O recurso de leitura em português funciona em instalações em nosso idioma no Windows 7 SP1 ou superior e OS X 10.10 (Yosemite).

Observações importantes

  • A versão atual do Bookshelf para Android não permite assistir aos vídeos de nossos livros-aula;
  • Em sistemas Linux e Windows Phone, seus e-books podem ser acessados on-line;
  • Não é permitida a impressão dos e-books;
  • Os e-books adquiridos no site do GEN não são compatíveis com os aplicativos e dispositivos Kindle, Nook, Kobo e Lev;
  • Nossos e-books também estão à venda nos sites das livrarias Cultura e Saraiva. Os e-books adquiridos nessas lojas podem ser lidos no Saraiva Reader/Lev e Kobo.

Para mais informações sobre o VitalSource Bookshelf, requisitos para instalação e outros detalhes técnicos, acesse support.vitalsource.com.