Name: Lógica Simbólica para informáticos RA-MA Editorial 9788478976195
Brand: Ra-ma Editorial
SKU: 00978847897619
Price: 782 MXN
Availability: OutOfStock

Walmart US Ecommerce Website

GENERAL MERCHANDISE

PHARMACY

GROCERIES

VUDU

SPARK

PHOTO

ADVERTISING

SAVINGS CATCHER

GIFTCARDS

INHOME

AFFILIATE

ONEAPP

LOTUS

HELP

SMART_REORDER

GROCERY

CONV_COMMERCE

GlobalAlertBar baja la app - 150525

title_shipToHome_date_delivery

Perfume Nautica Voyage Eau de Toilette 100 ml

Refrigerador 10 Pies Midea Blue Steel Top Mount

title_shipToHome_not_available

Colchon Matrimonial Restonic Ortopédico Confort

Llanta 185/65 R14 86H Goodyear Assurance Maxlife SL

Fragancia Nautica 200ml.

CUENTOS MACABROS EDITORES MEXICANOS UNIDOS H. P. LOVECRAFT

Refrigerador 14 Pies Mabe con Despachador Black Mate

Vajilla Vascella Negra para 4 Personas 16 pz

Colchón Matrimonial Ortopédico De Confort Medio Spring Air Smith

Fakhar Lattafa 100 Ml Edp Spray Lattafa  Lattafa

Kim JiYoung Nacida en 1982 Alfaguara Libro de bolsillo 1ra edicion

Refrigerador Hisense 7 Pies Plateado RR63D6WGX

Vajilla Vascella Negra Mate para 4 personas 16pz

Colchon Matrimonial Restonic Ortopédico Ultra Confort Anti-Estrés + 2 Almohadas

Llanta Bridgestone 185/65 R14" 85T B381

Armaf Odyssey Mandarin Sky 100Ml Edp Spray Armaf Armaf

Refrigerador 11 Pies Mabe Automático con Despachador Black Mate

Vajilla de Melamina Fraciel 12 Pz Cocina Resistente Zante

Colchón Matrimonial + Box + 2 Almohadas Standar Restonic Ortopedico Ley

Nitro Red Pour Homme 100Ml Edp Spray

Si Lo Crees Lo Creas Debolsillo Libro de bolsillo 1ra edicion

Refrigerador 14 pies Samsung Top Mount Acero

Vajilla Moderna Cuadrada De Opal Resistente 4 Personas 16pzs Color Blanco

Colchón Matrimonial Spring Air Collection

Complementos para tu compra

A Customer Also Viewed- P13n July 21, 2023

MTZ Team | Brand Box - Item Page

MTZ Team | Marquee 1  Item Page

MTZ Team | Marquee 2  Item Page

MTZ Team | Skyline Item Page

Productos Recomendados

MTZ Team | Sponsored Carousels - Product Page

New Item Page - Reviews Placeholder Module, Wednesday, August 23, 2023, 12:41:20:28 pm

Product Description Placeholder Module, Monday, February 13, 2023, 11:53:20:01 am

Product Specifications Placeholder Module, Monday, February 13, 2023, 11:55:48:74 am

Product Warranty Placeholder Module, Monday, February 13, 2023, 11:57:01:93 am

Refurbished Info Placeholder Module, Monday, February 13, 2023, 11:56:19:46 am

SellersSecondaryBuyBox Module, Monday, February 13, 2023, 11:52:40:61 am

<div>Libro Impreso
Totalmente Nuevo y Sellado
Formato Papel</div>

<ul><li>La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo._x000D_
_x000D_
Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica)._x000D_
_x000D_
También se dedica atención a las lógicas no clásicas, por su gran influencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes._x000D_
_x000D_
Características destacadas:_x000D_
_x000D_
-Equilibrio entre los contenidos formales y los prácticos._x000D_
-Presentación gradual de los conceptos._x000D_
-Ãnfasis en los conceptos recurrentes._x000D_
-Más de 85 ejemplos y 120 cuestiones y problemas propuestos._x000D_
_x000D_
Específicamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierías Técnicas como de la Ingeniería Superior en Informática. Ahora bien, aunque la selección de los temas se ha hecho pensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías. _x000D_</li></ul>

Modelo / Estilo / Tipo

Número de páginas

Año o número de publicación

Año

País de Origen

Autor

Peso del Producto Ensamblado

Edición

Contenido del Empaque

Longitud del Producto Ensamblado

Edad recomendada

Formato del libro

Ancho del Producto Ensamblado

Género del Libro

Fecha de publicación

Editorial

Tamaño de la Pantalla

ISBN-13

Wi-Fi

Tipo de Pasta

Altura del Producto Ensamblado

Marca

Lógica Simbólica para informáticos RA-MA Editorial 9788478976195

Devolución hasta 30 días después de recibido.

La lógica es particularmente importante para la informática porque constituye la base matemática del software. Así pues, este libro aspira a desarrollar sólidas bases formales que permitan al alumno entender las relaciones existentes entre la lógica y la informática, y cómo los cálculos deductivos pueden constituir un soporte para el cómputo._x000D_
_x000D_
Este libro se centra, principalmente, en el estudio de las características y propiedades fundamentales de los sistemas lógicos tradicionales: la lógica de proposiciones y la de predicados. Sin desdeñar el rigor matemático se ha dado gran importancia a las técnicas de formalización, y más generalmente a las técnicas de representación del conocimiento mediante la lógica, así como a los procesos deductivos. Conscientemente se ha buscado un equilibrio entre ambos extremos, lo que distingue a este libro de otras propuestas existentes en la literatura, en las que o bien se hace hincapié en los contenidos matemáticos y la metateoría, o bien se aborda el estudio de la lógica de forma meramente descriptiva y centrándose en los problemas de deducción formal (en la propia lógica)._x000D_
_x000D_
También se dedica atención a las lógicas no clásicas, por su gran influencia en la ciencia y tecnología actuales: por ejemplo, la lógica modal o las lógicas multivalentes._x000D_
_x000D_
Características destacadas:_x000D_
_x000D_
-Equilibrio entre los contenidos formales y los prácticos._x000D_
-Presentación gradual de los conceptos._x000D_
-Ãnfasis en los conceptos recurrentes._x000D_
-Más de 85 ejemplos y 120 cuestiones y problemas propuestos._x000D_
_x000D_
Específicamente, el libro va dirigido tanto a alumnos de primer curso de las Ingenierías Técnicas como de la Ingeniería Superior en Informática. Ahora bien, aunque la selección de los temas se ha hecho pensando en las necesidades de éstos, también puede ser útil a alumnos de matemáticas u otras ingenierías. _x000D_