CI2511 Implicación con Inteligencia

Loading...

Sign in or sign up now!
Alert icon
Upgrade to the latest Flash Player for improved playback performance. Upgrade now or more info.
737 views
Loading...
Alert icon
Sign in or sign up now!
Alert icon

Uploaded by on Oct 17, 2010

Curso CI-2511: Lógica Simbólica, Universidad Simón Bolívar, Venezuela.

Se discuten varias estrategias frecuentemente utilizadas por los estudiantes al realizar demostraciones con implicación. Se muestra cómo algunas estrategias son poco elegantes pues conducen a pruebas largas y confusas.

La numeración de los teoremas corresponde a la utilizada en el Libro de Texto : D. Gries. & F. Schneider (1994). A Logical Approach to Discrete Math. Springer.

Category:

Education

License:

Standard YouTube License

  • likes, 0 dislikes

Link to this comment:

Share to:
see all

All Comments (1)

Sign In or Sign Up now to post a comment!
  • excelente uso de las tecnologìas modernas profesora Chang!

Loading...
Alert icon
0 / 00Unsaved Playlist Return to active list
    1. Your queue is empty. Add videos to your queue using this button:
      or sign in to load a different list.
    Loading...Loading...Saving...
    • Clear all videos from this list
    • Learn more