Ciencias Formales: Ciencias Computacionales, Estándares, Lenguajes Formales, Lógica, Matemáticas, Metodología

Front Cover
Fuente: Wikipedia
General Books, 2011 - 238 pages
0 Reviews
Fuente: Wikipedia. P ginas: 237. Cap tulos: Ciencias computacionales, Est ndares, Lenguajes formales, L gica, Matem ticas, Metodolog a, Clasificaci n Unesco de 6 d gitos, L gica binaria, An lisis num rico, Alfabeto, Programaci n l gica, Normalizaci n, Deducci n, Verdad, L gica emp rica, C lculo l gico, Afirmaci n, Lenguaje formalizado, Individuo, C lculo lambda, Aut mata finito, Expresi n regular, Proposici n, L gica de descripci n, Verdad de raz n, IDEF, Principio de raz n suficiente, N meros preferentes, Integraci n de Sistemas de Gesti n, Implicaci n, An lisis transaccional, Proceso para el desarrollo de software, Propiedad, Historia de la l gica, Distinci n anal tico-sint tico, Aut mata celular, TEMPEST, Tablero de control, Inferencia, Simulaci n por computadora, Razonamiento circular, Aut mata finito no determinista, Modelo cient fico, Mentira, Gram tica libre de contexto, L gica de clases, Definici n, Aut mata con pila, Condicional material, Argumento, Notaci n de Backus-Naur, TR-069, TOGAF, Deducci n natural, Constante l gica, Rigor matem tico, Axiomas de Peano, Tabla de transici n de estados, Entimema, Transductor de estados finitos, Lenguaje de patr n, Lenguaje Z, Investigaci n cualitativa, Reducci n al absurdo, Sistema-L, Grado de protecci n IP, Gram tica formal, Cuantificaci n plural, Medicina personalizada, Dialeteismo, Jerarqu a de Chomsky, Teor a de la argumentaci n, Teor a de aut matas, Construcci n de subconjuntos, Cadena de caracteres, Validez, Est ndar abierto, Filosof a de la l gica, Razonamiento abductivo, Kansas City standard, Formato de papel, Certificaci n ecol gica, Condici n necesaria y suficiente, Operador, L gica plurivalente, OMA Device Management, L gica digital, Separador de millares, Normalizaci n ling stica, UNE-36010, Aut mata linealmente acotado, Gram tica libre de contexto probabil stica, Congreso Internacional de Matem ticos, Marca CE, Principio de no contradicci n, Trie, Lenguaje regular, Razonamiento inductivo, Motor de An ...

What people are saying - Write a review

We haven't found any reviews in the usual places.

Bibliographic information