Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9781848901254

Книга ISBN13 9781848901254 - Logica e Raciocinio (Joao Pavao Martins) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Logica e Raciocinio
O objetivo do livro e a apresentacao dos principais conceitos e metodologias associados a Logica para estudantes universitarios de Informatica. Introduz as nocoes de proposicao e de argumento e carateriza os seus possiveis valores, veracidade e falsidade e validade e invalidade, respetivamente. Apresenta os dois componentes de uma logica, o sistema dedutivo e o sistema semantico, definindo as relacoes entre eles, e introduzindo os conceitos de correcao e completude. Apresenta a logica proposicional e a logica de primeira ordem. Em relacao a cada uma destas logicas, discute a logica sob dois aspetos distintos. Por um lado, apresenta os conceitos logicos sob o ponto de vista tradicional, usando o sistema de deducao natural, de modo a fornecer bases solidas para a compreensao dos principios e da metodologia da Logica. Por outro lado, apresenta as tecnicas desenvolvidas para permitir que um computador possa utilizar raciocinio de uma forma automatica, nomeadamente recorrendo a resolucao,...
Авторы: Joao Pavao Martins
Издательство: Книга по Требованию
Год: 2014
Местонахождение: OZON.ru
ISBN: 9781848901254


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.