Si vemos las distintas conectivas por su número de argu- mentos podemos distinguir:
39.6.1
Sin argumentos
Las conectivas lógicas sin argumentos son:
39.6.2
Con un argumento
Las conectivas con solo un argumento son:
39.6.3
Con dos argumentos
Las conectivas que necesitan dos argumentos son:
39.7 Véase también
39.8 Referencias
[1] Heyting(1929) Die formalen Regeln der intuitionistischen
Logik.
[2] Denis Roegel (2002),Petit panorama des notations logi- ques du 20e siècle(véase chart en página 2).
[3] Russell(1908) Mathematical logic as based on the theory
of types (American Journal of Mathematics 30, p222–
262, también en From Frege to Gödel edited by van Hei- jenoort).
[4] Peano(1889) Arithmetices principia, nova methodo expo-
sita.
[5] Schönfinkel(1924) Über die Bausteine der mathematis-
chen Logik, translated as On the building blocks of mathe- matical logic in From Frege to Gödel edited by van Hei-
jenoort.
[6] Peirce(1867) On an improvement in Boole's calculus of
logic.
[7] Hilbert(1917/1918) Prinzipien der Mathematik (Bernays' course notes).
[8] Vax (1982) Lexique logique, Presses Universitaires de France.
[9] Tarski(1940) Introduction to logic and to the methodology
of deductive sciences.
[10] Gentzen (1934) Untersuchungen über das logische
Schließen.
[11] Chazal (1996): Éléments de logique formelle. [12] Véase Roegel
39.9 Enlaces externos
• Hazewinkel, Michiel, ed. (2001), «Propositional connective» (en inglés), Encyclopaedia of Mathe- matics, Springer,ISBN 978-1556080104
• Lloyd Humberstone (2011). The Connectives. MIT
Press.ISBN 978-0-262-01654-4.
• Bocheński, Józef Maria(1959). A Précis of Mathe-
matical Logic. traducido al inglés de las ediciones
francesa y alemana por Otto Bird. Dordrecht, South Holland.
• Enderton, Herbert (2001). A Mathematical Intro- duction to Logic (2da edición). Boston, MA: Aca-
demic Press.ISBN 978-0-12-238452-3.
• Gamut, L.T.F (1991). «Chapter 2». En University
of Chicago Press. Logic, Language and Meaning 1. pp. 54–64.OCLC 21372380.
• Humberstone, Lloyd (2010), «Sentence Connec- tives in Formal Logic», Stanford Encyclopedia
of Philosophy, http://plato.stanford.edu/entries/ connectives-logic/
• MacFarlane, John (2005), «Logical constants»,
Stanford Encyclopedia of Philosophy, http://plato. stanford.edu/entries/logical-constants/
• Esta obra deriva de la traducción total de Logical connective de Wikipedia en inglés, concreta- mente de esta versión, publicada por sus edito- res bajo la Licencia de documentación libre de GNUy laLicencia Creative Commons Atribución- CompartirIgual 3.0 Unported.
Configuración regional
Eninformática, la configuración regional*[1]̶conoci-
da como locale en inglés̶es un conjunto de parámetros que define elidioma,paísy cualquier otra preferencia es- pecial que el usuario desee ver en suinterfaz de usuario. Generalmente, un identificador de configuración regional consiste como mínimo de un identificador de idioma y un identificador de región. Este concepto es de fundamental importancia en el campo de lalocalización de idiomas.
40.1 Véase también
• Internacionalización y localización
40.2 Referencias
[1] Microsoft Corporation.«Traducción del término en el Portal de idiomas de Microsoft». Consultado el 1 de no- viembre de 2014.
40.3 Enlaces externos
• Esta obra deriva de la traducción de Locale de Wikipedia en inglés, publicada por sus edito- res bajo la Licencia de documentación libre de GNUy laLicencia Creative Commons Atribución- CompartirIgual 3.0 Unported.
• Unicode Common Locale Data Repository • Language Subtag Registry
Capítulo 41
Conteo de referencias
Conteo de referencias, eninglésReference counting, esuna técnica para contabilizar las veces que un determina- do recurso está siendo referido. Por lo general ese recurso son bloques de memoria y la técnica permite establecer cuando no existe ninguna referencia a ese bloque y éste puede ser liberado. Es una técnica de muy fácil imple- mentación, pero tiene una importante desventaja: Si las referencias forman un ciclo los objetos involucrados no se liberarán nunca. Otra técnica más efectiva es el uso de unrecolector de basura.
41.1 Véase también
• Recolector de basura • Fuga de memoria
Convención de Nombres (Programación)
En Programación, una convención de nombres es un conjunto de reglas para la elección de la secuencia de ca- racteres que se utilizará para unidentificadors que de- notan variables,tipos,funcionesy otras entidades en el
código fuentey la documentación.
Razones para utilizar una convención de nombres (en lu- gar de permitir a losprogramadoreselegir cualquier se- cuencia de caracteres) incluyen los siguientes:
• para reducir el esfuerzo necesario para leer y enten-
der el código fuente;*[1]
• para mejorar la apariencia del código fuente (por
ejemplo, al no permitir nombres excesivamente lar- gos o abreviaturas poco claras).
La elección de las convenciones de nombres puede ser un problema de enorme polémica, con los partidarios considerar su tendencia mejor y las demás inferiores. Coloquialmente, este se dice que es una cuestión de
dogma.*[2]Muchas empresas también han establecido su
propio conjunto de convenciones para satisfacer mejor sus intereses.
42.1 Beneficios potenciales
Algunos de los beneficios potenciales que se pueden obte- ner mediante la adopción de una convención de nombres incluyen los siguientes:
• para proporcionar información adicional (es decir, los metadatos)sobre el uso que se hace de un iden- tificador;
• para ayudar a formalizar las expectativas y promover la coherenciadentro de un equipo de desarrollo;
• para permitir el uso de refactorización automatizado
o buscar y reemplazar herramientas con un potencial mínimo para el error;
• para mejorar la claridad en los casos de ambigüedad
potencial;
• para mejorar la apariencia estética y profesional de
producto de trabajo (por ejemplo, al no permitir nombres excesivamente largos nombres “lindo”, cómico o, o las abreviaturas);
• para ayudar a evitar “conflictos de nombres”que
podrían ocurrir cuando se combina el producto del trabajo de diferentes organizaciones (véase también: espacios de nombres);
• para proporcionar datos significativos que se utili-
zarán en los traspasos de proyectos que requieren la presentación de código fuente del programa y toda la documentación pertinente
• para proporcionar una mejor comprensión en el ca-
so de la reutilización de código después de un largo intervalo de tiempo.