Cómo hacer la tarea para una clase en la Lógica Simbólica en mi equipo?

Question

La escuela se inicia en 1.5 semanas y me estoy tomando un curso en la Lógica Simbólica. Aquí está una cita de el plan de estudios:

Usted necesita para mantener un cuaderno con todos sus deberes. Este cuaderno puede tomar una de dos formas. 1. Un sueltas (o algún tipo de extraíble/reemplazable de la página de notebook) o 2. Una carpeta (aka subdirectorio) en su ordenador. Esto último sólo es recomendado para los verdaderos fanáticos de la informática que les gusta averiguar cómo trabajar con símbolos (por ejemplo,, ∃, ∀, ⊃, ⊢, →, ↔). Voy a recoger periódicamente la tarea.

Me gustaría probar y hacer la tarea en mi equipo, aunque sólo sea para ver si puedo hacerlo, aunque en el largo plazo, probablemente voy a frustrarse y que sólo el uso de papel.

¿Qué recomienda para este tipo de documento? Supongo que será una mezcla de palabras y ecuaciones con la por encima de los símbolos. Es un buen programa especial para ello, o las instrucciones para hacerlo en MS Office 2010 o en OpenOffice? Esta es una buena aplicación para L^UnT_EX, y si es así, ¿cómo alguien con L^UnT_EX conocimiento (me) aprender lo suficiente para hacer mi tarea? Es que incluso vale la pena o debo seguir con deadtree?

Mi sistema operativo es Windows 7, si se hace una diferencia.

Answer 1

"Una mezcla de palabras y ecuaciones con símbolos" me gustaría claramente recomendamos el uso de látex. Esta es una buena introducción.

Answer 2

Estoy de acuerdo con la sugerencia de que debería usar Látex. Estoy molesta con otra respuesta a desaconsejan el uso de MS Word con fuentes de símbolos lógicos de la notación. Antes de que me enteré de Látex, hubiera tratado de escribir la lógica de los procesadores de texto (Word y, más tarde, OpenOffice). Era muy frustrante cuando mis documentos tengo bastante jodido cuando me mudé de un equipo a otro y me encontré trabajando sin el símbolo de las fuentes que tenía a mi disposición cuando escribí los documentos. (Sí, hay maneras de evitar ese problema, pero sin embargo parece que vale la pena la advertencia).

Answer 3

GNU Emacs + AUCTeX funciona muy bien para mí.

Answer 4

Una variante, entre muchos, es el uso de GNU Emacs editor de texto con Org-mode extensión, que está integrado en Emacs. Org-mode admite la incrustación de Látex, así que usted puede escribir en una forma fácil de aprender y utilizar el lenguaje de marcado y escribir sólo de Látex donde es absolutamente necesario disponer de ellos, sin la necesidad de aprender de Látex profundamente.