Buscar
Mostrando ítems 1-10 de 270
Propositional equality for gradual dependently typed programming
(ACM, 2022)
Gradual dependent types can help with the incremental adoption of dependently typed code by providing a principled semantics for imprecise types and proofs, where some parts have been omitted. Current theories of gradual ...
Proposition 7, book XII, Euclid's elements
(Wolfram demonstrations project, 2013)
Proposition 7, book XII, Euclid's elements
(Wolfram demonstrations project, 2016)
Tensions between freedom and equality in the Discourse on the freedom to think of Anthony Collins
(Cambridge Univ Press, 2015-03-01)
Le Discours sur la liberte de penser (1713) d'Anthony Collins revendique un droit egal, pour chaque etre humain, d'examiner librement toute proposition. Pour autant, ce droit n'est pas tres clair et Collins en defend ...
Renda básica universal: liberdade real para todas? Críticas feministas ao libertarismo real de Philippe Van Parijs
(Universidade Federal de Minas GeraisUFMG, 2019-02-08)
In this dissertation, I propose a debate on the adequacy of Philippe Van Parijs's proposal of unconditional basic income and real freedom in relation to the objective of minimizing gender inequalities. For such, I submit ...
Demostración, ejemplo 5
(2019-08-20)
En este vídeo se presenta una demostración de una proposición de la forma P=>Q donde las proposiciones involucradas son sobre conjuntos tales como inclusiones o igualdades. En esta se discute la estrategia a seguir para ...
Performance evaluation of combined spatial processing and multiple access interference equalization for DS-CDMA systems
(Assoc Elettrotecnica Ed Elettronica ItalianaMilanItália, 2002)
Las paradojas de la igualdad en Jean-Jacques Rousseau
(ISHIR (Investigaciones Socio-históricas Regionales). Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET). Universidad Nacional de Rosario (UNR), 2018)
La potencia de un encuentro: creencia e igualdad en la filosofía de Jacques RancièreThe power of a meeting: belief and equality in Jacques Rancière’s philosophy
(Universidad de Buenos Aires. Facultad de Ciencias Sociales. Instituto de Investigaciones Gino Germani, 2014-05)
Para Rancière la igualdad no es una meta a alcanzar sino un presupuesto que debe ser verificado. Esa proposición es, sin dudas, su contribución más célebre a la filosofía política. Sin embargo, su gesto teórico es más ...
ECLAC’s thinking from 2010 to 2018: The focus on structural change for equality MEPIO pensamento da CEPAL de 2010 a 2018: O enfoque na mudança estrutural produtiva para igualdade MEPI
(2020-01-01)
The article’s unit of analysis is the United Nations Economic Commission for Latin America and the Caribbean (ECLAC/UN). The purpose is to investigate the current phase of its thinking with a strong focus on equality. The ...