e-Book
E-Book - A Cartilha da Lógica
-
ISBN:
9788521633426
- Edição: 3|2017
- Editora: LTC
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).
 | INFORMAÇÕES SOBRE VITAL SOURCE BOOKSHELF |
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.