Please enable JavaScript.
Coggle requires JavaScript to display documents.
Fallas del software image, Estudiante: Leslie puga …
Fallas del software
image
Concepto
Es un problema en un programa de computador o sistema de software que desencadena un resultado indeseado.
Ejemplo de fallas de software
1.Windows tarda mucho en iniciar y cerrar. 2.La computadora se ha vuelto lenta 3.Muchas ventanas popup (publicidad) al navegar en internet. 4. Paros de sistema inesperado.
Causas
Las fallas de software más comunes son causadas por virus y spyware. La otra causa común de problemas de software es al actualizar o instalar un nuevo controlador o una actualización de Windows.
Notación, Predicados y su álgebra.
Es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
Tipos de notacion
Camel Case, Pascal Case, Snake Case y Kebab Case
Camel Case combina las palabras directamente, sin usar ningún símbolo, estableciendo que la primera letra de cada palabra esté en mayúscula a excepción de la primera palabra, estando el resto de letras en minúsculas.
Pascal Case combina las palabras directamente, sin usar ningún símbolo, estableciendo que la primera letra de cada palabra esté en mayúscula sin excepciones, estando el resto de letras en minúscula.
Snake Case combina las palabras usando un guión bajo _ como nexo. Existen dos versiones de esta notación, una en la que todas las letras están en minúscula y otra en la que todas las letras están en minúscula.
Kebab Case combina las palabras usando un guión - como nexo. Las letras estarán todas en minúscula.
Predicado
Un predicado es una aplicación de una función booleana cuyos argumentos pueden ser de diferentes tipos, es decir un predicado puede ser una función de tipo Z → B.
La lógica de predicados es un lenguaje más de la matemáticas. Sin menospreciar otros sistemas de lógica que se han estudiado, algunos por razones filosóficas y otros por la importancia de sus aplicaciones, incluyendo las ciencias de la computación.
Los argumentos de los predicados son en este caso, variables de tipo distinto de B o también expresiones de éstos tipos.
Los argumentos de un predicado son llamados términos, por ejemplo en la fórmula anterior los términos en los predicados son x, y, z y z + x.
Consejos para solucionar fallas de software
Liberar la memoria RAM
: cada aplicación o software tiene requerimientos especiales en cuanto a la cantidad de memoria que usa. E
Reiniciar el software
Después de realizar el paso anterior, intenta cerrar y abrir de nuevo el software que requieres operar.
Escanear el equipo en busca de programas maliciosos y amenazas
Elementos como malware, virus y otras amenazas potenciales afectan el funcionamiento de determinadas aplicaciones.
Iniciar tu ordenador en modo seguro
El modo seguro de los sistemas operativos te ayuda a reparar configuraciones del sistema que generan inconvenientes en la marcha.
Concurrencia y conjunción.
La conjuncion: es una proposición compuesta que resulta de combinar dos proposiciones simples con la palabra.
Representacion de la conjuncion.
La conjunción como operador binario entre dos variables se representa con el símbolo de punto medio ( · ). En electrónica, una puerta AND es una puerta lógica que implementa la conjunción lógica.
Prioridad
Tiene como propiedad sumar condiciones obligatorias por medio del predicado aplicado al sujeto.
La concurrencia
:se refiere a la habilidad de distintas partes de un programa, algoritmo, o problema de ser ejecutado en desorden o en orden parcial, sin afectar el resultado final.
Teoría
La teoría de la concurrencia ha sido un campo activo de investigación en Ciencias de la Computación.
La programación concurrente es la ejecución simultánea de múltiples tareas interactivamente.
Ejemplo
El modo de ejecutar código de los procesadores con múltiples núcleos, o computadoras con configuraciones con más de un procesador.
Cuantificación estándar y aritmética
Es el proceso en el cual se asignan valores finitos, de un conjunto de niveles definido previamente, a las muestras tomadas de la señal analógica
facilita
Facilitan el análisis del comportamiento microbiano, teniendo en cuenta valores numéricos que permiten el estudio e identificación del potencial benéfico o perjudicial de un microorganismo
La estandarizacion
Es un proceso riguroso que dependiendo de la técnica analítica a la que pertenezca el método, la matriz, el analito, la cantidad de parámetros de estandarización, y de la logística empleada para su desarrollo, puede requerir de un tiempo mas o menos considerable
Ejemplo
Los semáforos son un claro ejemplo de estandarización. En casi todos los lugares del mundo, el código de colores que utiliza dicha herramienta tecnológica es el mismo.
Estudiante: Leslie puga Cedula: 2-748-1153
