Subscribe to MaxUp Blog

Archive for the ‘Lógica’ Category

Atalho!

 

Pessoal, a mais ou menos uns 2 meses atrás eu tive alguns problemas com uma aplicação Flex que estava desenvolvendo para uma empresa cujo dono era um senhor de idade e que tinha adquirido alguns costumes ao longo da sua vida, um deles era utilizar teclas de atalho nos aplicativos que usava, pois bem, fui até a lista flexdev ver se havia a possibilidade, após ter procurado na web e em alguns livros e o resultado foi negativo, mas não totalmente, o Beck Novaes comentou que seria possivel extendendo o componente e até criou um exemplo muito útil encontrado aqui e com base nesse exemplo eu criei algo que atenderia melhor minhas necessidades, e agora, venho compartilhar esse solução com a comunidade!

Bom, primeiro eu tenho a Classe ShortKey.

Olha que simples, depois no mxml em que você deseja colocar o atalho no botão basta inserir o seguinte código:

<cp:shortkey key="{Keyboard.ENTER}" button="{btnConfirmar}">

E você ainda pode usar combinações com Enter e Shift + mais outra tecla, basta dar uma olhada na classe ShortKey.

Pessoal, esperamos que isso ajude ai, e gostariamos de agradacer a comunidade Flex pela força!

Aug
15
Posted by admin

Aula 1 – Lógica

Pessoal, primeira aula de lógica e de cara um mundaréu de exercícios, mas eu não vou posta-los aqui, é uma droga por os símbolos aqui, vou falar um pouco sobre a aula.

A professora chegou falando que existem diferentes tipos de lógica e que nos aprenderíamos no mínimo duas neste semestre, a lógica proposicional e a lógica de predicados

­Bom, primeiro os operadores:

¬ = (não)
↑ = (e)
= (ou)
→ = (se então)
↔ = (se, e somente se)

Formação de sentenças

Símbolo Proposicional: {P, Q, R, S, T} – Mais pro fim do alfabeto e maiúsculo

Operador unário + símbolo proposicional
¬P, ¬Q, ¬R
Operador binário + 2 símbolos
P↑Q, A→B, A↔B
Operador unário + uma sentença
¬( A→B)
Operador binário + 2 sentenças
(¬P) ↑(Q)

Função de valoração para os operadores lógicos.
α e β são símbolos proposicionais

v(¬α) = V sse v(α) = F
v(α↑ β) = V sse v(α) = v e v(β) = V
v(α↓ β) = V sse v(α) = v ou v(β) = V
v(α→ β) = V sse v(α) = f ou v(β) = V
v(α→ β) = F sse v(α) = f e v(β) = V
v(α↔ β) = V sse v(α) = v(β)

Tipos de sentenças

Contradições (Formulas insatisfazíveis) = Sempre falsas
Contingências(Formulas satisfazíveis) = Pode ser verdadeiro
Tautologias(Formulas validas) = Sempre verdadeiro

Tags: