Discussão:Observatório de dados/Conjuntos

Fundamentos e convenções adotadas

• Convenções (símbolos e tipografia) http://www.cs.put.poznan.pl/ksiek/latexmath.html
• w:en:Set notation

... Citando Wikidata na definiçãode conjuntos... Ver fundamento em https://en.wikipedia.org/wiki/Archetype_(information_science) Exemplo prático: datasets de https://en.wikipedia.org/wiki/OpenEHR (algo em portugues aqui).

Lembretes

• incluir definição da cardinalidade de um conjunto ... Ver "conjuntos de pedrinhas" e esquemas de contagem dos pastores e das portarias. Notação n(X) ou |X|, qual os alunos preferem? Qual casa menos confusão?
  |X| nas partições (conjuntos disjuntos), como soma simples. ... E o conceito de multiplicação originado do produto carteziano...

• introduzir o conceito geral de prova (ex. ilustrações das provas do teorema de pitagoras)...

• provar que a média das médias não pode ser confundido com média geral... Ver exemplo das médias por estado (UF) e média geral do país: não é correto fazer a média dos valores por estado, buscando equivalência com a média geral do país (Acre e São Paulo possuem populações muito diferentes, a média de São Paulo seria mais próxima da media geral do Brasil)... Mas pode-se afirmar que, se cada parte receber o peso adequado, aí vai resultar na média.

Linguagens semânticas baseadas em conjuntos

Além de Z que descartamos por ser muito complexa para iniciantes,

• Alloy: http://alloy.mit.edu/alloy/ ... http://alloy.mit.edu/alloy/tutorials/day-course/s1_logic.pdf
• ...

Vínculo com ontologias:

• w:en:OntoUML
• ...