Sistema Dedutivo Rotulado (do inglês, Labelled Natural Deduction System - LDS), propostos por Gabbay [Gab94], no qual os dois aspectos (lógico e algébrico) são tratados apropriadamente, de forma separada, porém harmoniosa.
No LDS, fórmulas escritas em alguma linguagem lógica são rotuladas t:A, onde t é um rótulo e A uma fórmula. A idéia é que nos rótulos seja possível expressar propriedades de controle do meta-nível (o que é possível mostrar, as funções, referentes, etc.) através de uma álgebra. Dessa forma, o sistema dedutivo é enriquecido, há um maior poder de expressão sem que para isso a linguagem lógica das fórmulas seja demasiadamente complicada.
A escolha dos sistemas dedutivos rotulados é justificada através das seguintes características que o sistema possui:
O LDS fornece uma nova perspectiva da disciplina "lógica e computação" na medida em que lida com as características de meta-nível de sistemas lógicos: como posso proceder, dado o que foi feito té agora, etc.
Com o LDS é possível dispor de uma perspectiva unificadora que permite a fatoração (do inglês, factoring out) das características de meta-nível daquelas essencialmente de nível objeto.
Olá Diogo. “LDS” significa “Latter-day Saint” em inglês. É uma forma de dizer “quem pertence a The Church of Jesus Christ of Latter-day Saints”. Em Português, o termo equivalente é “SUD”, ou “Santo dos Últimos Dias”. Espero que esta resposta ajude. Um abraço.
Answers & Comments
Verified answer
Pode ser muitas coisas, mas se vc pôs esta pergunta em Religião, deve ser "Church of Jesus Christ of Latter-day Saints", outro nome dos mórmons.
Latter Day Saints = santos dos últimos dias.
Sistema Dedutivo Rotulado (do inglês, Labelled Natural Deduction System - LDS), propostos por Gabbay [Gab94], no qual os dois aspectos (lógico e algébrico) são tratados apropriadamente, de forma separada, porém harmoniosa.
No LDS, fórmulas escritas em alguma linguagem lógica são rotuladas t:A, onde t é um rótulo e A uma fórmula. A idéia é que nos rótulos seja possível expressar propriedades de controle do meta-nível (o que é possível mostrar, as funções, referentes, etc.) através de uma álgebra. Dessa forma, o sistema dedutivo é enriquecido, há um maior poder de expressão sem que para isso a linguagem lógica das fórmulas seja demasiadamente complicada.
A escolha dos sistemas dedutivos rotulados é justificada através das seguintes características que o sistema possui:
O LDS fornece uma nova perspectiva da disciplina "lógica e computação" na medida em que lida com as características de meta-nível de sistemas lógicos: como posso proceder, dado o que foi feito té agora, etc.
Com o LDS é possível dispor de uma perspectiva unificadora que permite a fatoração (do inglês, factoring out) das características de meta-nível daquelas essencialmente de nível objeto.
não é lds é gls gais , lesbicas , simpatisantes.
Olá Diogo. “LDS” significa “Latter-day Saint” em inglês. É uma forma de dizer “quem pertence a The Church of Jesus Christ of Latter-day Saints”. Em Português, o termo equivalente é “SUD”, ou “Santo dos Últimos Dias”. Espero que esta resposta ajude. Um abraço.
eu vi essa definição em um poste:
LSD: Large Sales Deliver. :D
Tem certesa que não é LSD ? abreviação de dietilamina do ácido lisérgico.