LABORATORIO.

 

a: Fernanda cumple sus obligaciones.

b: Fernanda aprueba el examen.

c: Fernanda se va de vacaciones.

d: Fernanda trabaja.

e: Fernanda no come.

TRASLADAR A TERMINOS PROPOSICIONALES.

1.   a 1  c: 

2.   d ^ e: 

3.   ¬b ®c ¬c ^ d: 

4.   b ^ d ® a: 

5.   (¬d ^ ¬e) ® ¬b:

1.- “Fernanda cumple sus obligaciones si y solo si se va de vacaciones.”

2.- “Fernanda trabaja y no come.”

3.- “Si Fernanda no aprueba el examen, entonces no se va de vacaciones y trabaja.”

4.- “Si Fernanda aprueba el examen y trabaja, entonces cumple sus obligaciones.”

5.- “Si Fernanda no trabaja y come, entonces no aprueba el examen.”    

CLASIFICACION DE LAS CIENCIAS

La ciencia es un conjunto de conocimientos que los seres humanos han aprendido, registrado y razonado, que enuncian principios y leyes generales. Su objetivo es explicar la realidad, sus principios y sus causas. Debido a esto,  existen varias clasificaciones planteadas por diferentes autores, con criterios distintos que consideran el ámbito de aplicación de las ciencias. 

§       Por ejemplo, se puede hablar de varios tipos de ciencia, tales como:                              

§       Las Ciencias Formales, utilizan la lógica para deducir hipótesis, es decir, tiene como objetivo el estudio de entes reales sin existencia real.

§       Las Ciencias Fácticas, necesitan de la lógica pero no es suficiente, ya que estudia los hechos, procesos y objetos de las cosas.        

§       Las Ciencias Sociales, estudian los seres humanos, su relación en la sociedad y la forma en la que reciben influencia del medio ambiente que los rodea.

§       Las   Ciencias naturales, que buscan conocer el medio físico, conocer las leyes y propiedades de la naturaleza. 

También se pueden encontrar:

       Ciencias de la Tierra

       Ciencias de la vida 

       Ciencias físicas

       Ciencias químicas

       Ciencias jurídicas Ciencias políticas o morales y políticas

       ciencias económicas

       Ciencias históricas

       Ciencias de la comunicación, etc.

                                                                                                                        

APLICACION Y/O RELACIONDE LAS CIENCIAS A LA INFORMATICA

Cuando se realizan procedimientos para dominar fenómenos se originan en la aplicación de conocimientos científicos y se utiliza la tecnología. Los conocimientos científicos forman parte de las técnicas que hacen posible el tratamiento automático de la información por medio de ordenadores, los cuales hacen la definición de la informática.

Fernando Reyna

1290-12-5199

Sintaxis, Lexico y Semantica.

Sintaxis

La sintaxis es la parte de la gramática que estudia las reglas que gobiernan la combinatoria de constituyentes sintácticos y la formación de unidades superiores a estos, como los sintagmas y oraciones gramaticales. La sintaxis, por tanto, estudia las formas en que se combinan las palabras, así como las relaciones sintagmáticas y paradigmáticas existentes entre ellas.

Lexico

Lexico es un lenguaje de programación didáctico en español para facilitar el aprendizaje y la enseñanza de la programación orientada a objetos.
Las investigaciones realizadas con él así lo han comprobado que puede mejorar el desempeño y la habilidad lógica de los estudiantes pues les permite experimentar con los algoritmos diseñados,^{[cita requerida]} sin tener que dedicar meses a aprender un lenguaje de producción que les permita "ver" sus creaciones.
Su forma exterior es sencilla aunque versátil. El compilador, disponible en su portal, es distribuible y se ejecuta sobre la plataforma .NET de Microsoft. Esta última también es distribuible y soporta las características exigidas internacionalmente para considerarse puro respecto al paradigma. Posee una interfaz simple que evita dificultades para iniciar.
Permite la suficiente sencillez para entrenarse con los conceptos básicos en algoritmos para que la persona practique las estructuras fundamentales en lógica (secuencia con {....}, decisión con es ? y ciclo de repeticiones con mientras) y la clásica estructura de representación de información compuesta llamada arreglo.
El centro medular es su orientación a la programación orientada a objetos para lo cual posee el soporte apropiado y se ha simplificado al máximo de manera que ayude a la inmersión en los conceptos.
Los objetos pueden ser construidos con base en las dos clases fundamentales, cantidad y caracteres, con base en las clases establecidas por el programador, con base en las 7.000 definiciones de la plataforma .NET de Microsoft y otros ensamblados en forma de dll (bibliotecas de enlaces dinámicos) producidos por terceros, lo que permite desarrollar aplicaciones complejas que incluyan controles, el manejo gráfico y el manejo de eventos.
Las clases pueden ser definidas en el programa o en archivos externos y por la vía de la herencia con base en la biblioteca FCL (Biblioteca de Clases del Marco de trabajo) de Microsoft. Aquellas que no hayan sido definidas dentro del archivo principal de trabajo son incorporadas con la instrucción incluya.
La versión Lexico 3.0, además de poder generar código ejecutable para ser corrido sobre la plataforma .NET completa, genera código ejecutable para la plataforma CF .NET (Compact Framework) lo que le hace útil para producir programas destinados a Windows Mobile (WM) que corre sobre el sistema operativo WindowsCE existente en los móviles conocidos como PPC (sigla en inglés para computadores personales de bolsillo) y los SmartPhone (o teléfonos inteligentes).

Semantica

El término semántica (del griego semantikos, "lo que tiene significado") se refiere a los aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos, palabras, expresiones o representaciones formales. En principio cualquier medio de expresión (lenguaje formal o natural) admite una correspondencia entre expresiones de símbolos o palabras y situaciones o conjuntos de cosas que se encuentran en el mundo físico o abstracto que puede ser descrito por dicho medio de expresión.

La semántica puede estudiarse desde diferentes puntos de vista:

• Semántica lingüística, trata de la codificación y decodificación de los contenidos semánticos en las estructuras lingüísticas.
• Semántica lógica, desarrolla una serie de problemas lógicos de significación, estudia la relación entre el signo lingüístico y la realidad. Las condiciones necesarias para que un signo pueda aplicarse a un objeto, y las reglas que aseguran una significación exacta.
• Semántica en ciencias cognitivas, intenta explicar por qué nos comunicamos, y cuál es el mecanismo psíquico que se establece entre hablante y oyente durante este proceso

Que es un lenguaje formal.

En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. Al conjunto de los símbolos primitivos se le llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. A diferencia de lo que ocurre con el alfabeto (que debe ser un conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un lenguaje formal puede estar compuesto por un número infinito de fórmulas bien formadas.
Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolos a que b. Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc.; y el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.
Para algunos lenguajes formales existe una semántica formal que puede interpretar y dar significado a las fórmulas bien formadas del lenguaje. Sin embargo, una semántica formal no es condición necesaria para definir un lenguaje formal, y eso es una diferencia esencial con los lenguajes naturales.
En algunos lenguajes formales, la palabra vacía (esto es, la cadena de símbolos de longitud cero) está permitida, notándose frecuentemente mediante , o .

Que es un sistema Logico.

Podriamos definir a un sistema lógico como un conjunto o secuencia  de instrucciones, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible para el desarrollo de uno o varios preoblemas a la vez.

Un sistema lógico está compuesto por:

1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.

Estos cuatro elementos completan la parte sintactica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:

5. Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. Por ejemplo, en el idioma español, la palabra «banco» puede significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. En consecuencia, dependiendo de la interpretación, variará también el valor de verdad de la oración «el banco está cerca». Las interpretaciones formales asignan significados inequívocos a los símbolos, y valores de verdad a las fórmulas.

Fernando Reyna

1290-12-5199