disc-esp-form-sma

 

Disciplina:
Especificação Formal de Sistemas Multiagentes

 


 

Carga Horária: 45

Créditos: 3

Linha de Pesquisa: Sistemas Multiagentes

Ementa:

Fundamentos para a formalização das relações em sistemas multiagentes. Formalismos para a expressão do conceitos e relações: lógica e formalismos provenientes de outras áreas como sistemas a eventos discretos, redes de Petri, cálculos de processos. Especificação de protocolos. Especificação de organizações de sistemas. Ferramentas baseadas nesses formalismos.

 


Sobre:

O Centro de Ciências Computacionais da Universidade Federal do Rio Grande é uma das 13 Unidades Acadêmicas da FURG, sendo responsável pela área das Ciéncias Computacionais, dedicando-se a formação de recursos humanos e a produção de conhecimento.

logo do centro de ciências computacionais logo da universidade federal do rio grande