Buscar

Mostrando ítems 1-10 de 10

A lógica proposicional do 'quase sempre'

Universidade Estadual Paulista (Unesp) (2012)

We introduce, in this paper, a propositional logic to deal with de notion of ‘almost always’. We do this by adding a new operator in classical propositional logic. This new operator captures the same notions of the quantifier ...

A lógica proposicional do 'quase sempre'

Rodrigues, Angela Pereira; Feitosa, Hércules de Araujo (2016)

A lógica proposicional do 'quase sempre'The propositional logic for ‘almost always’

Rodrigues, Angela Pereira [UNESP]; Feitosa, Hércules de Araujo [UNESP] (2016)

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Feitosa, Hércules de Araújo [UNESP]; Universidade Estadual Paulista (Unesp) (Universidade Estadual Paulista (Unesp), 2012-02-24)

O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores ...

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Feitosa, Hércules de Araújo [UNESP]; Universidade Estadual Paulista (Unesp) (Universidade Estadual Paulista (Unesp), 2012-02-24)

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Rodrigues, Angela Pereira (Universidade Estadual Paulista (UNESP), 2014)

Classification of the type D irregular minimal affinizations = Classificação das afinizações minimais irregulares de tipo DClassificação das afinizações minimais irregulares de tipo D

Pereira, Fernanda de Andrade, 1986- ([s.n.], 2014)

Compreensões sobre derivada e integral com o uso de um cas on line: um estudo com alunos do terceiro ano do ensino médio

Matos, Leozart da Silva (Universidade Federal de Juiz de ForaBrasilICE – Instituto de Ciências ExatasPrograma de Pós-graduação em Educação MatemáticaUFJF, 2016)

Aperfeiçoamento de precondicionadores para solução de sistemas lineares dos métodos de pontos interioresImproving the preconditioning of linear systems from interior point methods

Casacio, Luciana, 1983- ([s.n.], 2015)

Projetos de sistemas criptográficos utilizando códigos linearesProjects of cryptographic systems using linear codes

Freitas Júnior, José Luiz de (Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Engenharia Elétrica, 2020)

Buscar

Filtros

A lógica proposicional do 'quase sempre'

A lógica proposicional do 'quase sempre'

A lógica proposicional do 'quase sempre'The propositional logic for ‘almost always’

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Sobre quantificadores: uma formalização do quantificador 'quase sempre'

Classification of the type D irregular minimal affinizations = Classificação das afinizações minimais irregulares de tipo DClassificação das afinizações minimais irregulares de tipo D

Compreensões sobre derivada e integral com o uso de um cas on line: um estudo com alunos do terceiro ano do ensino médio

Aperfeiçoamento de precondicionadores para solução de sistemas lineares dos métodos de pontos interioresImproving the preconditioning of linear systems from interior point methods

Projetos de sistemas criptográficos utilizando códigos linearesProjects of cryptographic systems using linear codes