quinta-feira, 19 de dezembro de 2013

RESULTADOS DOS CONCURSOS PÚBLICOS PARA PROFESSOR ASSISTENTE DO CAMPUS DA UFC EM QUIXADÁ – EDITAL Nº 337/2013











SETOR DE ESTUDO (1 vaga)
REGIME
CLASSIFICADOS
Sistemas Distribuídos e Linguagens de Programação
40 h/DE
1º Alisson Barbosa de Souza


SETOR DE ESTUDO (1 vaga)
REGIME
CLASSIFICADO
Recuperação de Informação e Aprendizado de Máquina
40 h/DE
Carlos Igor Ramos Bandeira


SETOR DE ESTUDO (1 vaga)
REGIME
CLASSIFICADO
Linguagens de Programação e Compiladores
40 h/DE
Allberson Bruno de Oliveira Dantas
Lucas Ismaily Bezerra Freitas

SETOR DE ESTUDO (1 vaga)
REGIME
CLASSIFICADO
Lógica, Teoria da Computação e Linguagens Formais e Autômatos
40 h/DE
Paulo de Tarso Guerra Oliveira
Thiago Alves Rocha


ELEITOS OS REPRESENTANTES DE UNIDADES CURRICULARES (UC’s) E OS COORDENADORES DOS CURSOS DE ENGENHARIA DE SOFTWARE E REDES DE COMPUTADORES



À Comunidade Acadêmica do Campus Quixadá,

Na tarde de ontem (18/12/2013) os novos Representantes das UC’s dos Cursos de Engenharia de Software e Redes de Computadores se reuniram para eleger as novas coordenações de curso. Por unanimidade, foi eleita como Coordenadora do Curso de Engenharia de Software a Professora Antonia Diana Braga Nogueira, e como Vice-Coordenador o Professor Carlos Diego Andrade de Almeida, bem como foi eleito para Coordenador do Curso de Redes de Computadores o Professor Marcos Dantas Ortiz, e como Vice-Coordenador o Professor Michel Sales Bonfim, que assumirão suas funções a partir do mês de fevereiro de 2014.

A Direção do Campus deseja aos professores eleitos uma profícua administração à frente das coordenações.

Representantes das UC’s eleitos:

Engenharia de Software
Redes de Computadores
Davi Romero de Vasconcelos
(FB Matemática)
Davi Romero de Vasconcelos
(FB Matemática)
Carlos Diego Andrade de Almeida
(FT Sistemas de Informação)
Arthur de Castro Callado
(FB Ciência da Computação)
Paulyne Matthews Jucá
(FT Engenharia de Software)
Marcos Dantas Ortiz
(FT Ciência da Computação)
Antônia Diana Braga Nogueira
(F Complementar e Humanística)
Michel Sales Bonfim
(FT Sistemas Operacionais e Redes de Computadores)
Tânia Saraiva de Melo Pinheiro
(F Suplementar)
Antônia Diana Braga Nogueira
(F Complementar e Humanística)

terça-feira, 10 de dezembro de 2013

Pergamum Mobile



Realize com facilidade consultas, renovações e reservas do acervo das bibliotecas da UFC, através de seu smartphone ou tablet, acessando o Pergamum Mobile, versão do Sistema Pergamum para dispositivos móveis, por meio do endereço:
http://bibweb.npd.ufc.br/pergamum/mobile/logout.php. O link do Pergamum Mobile está disponível no catálogo eletrônico no site da Biblioteca Universitária.

quarta-feira, 27 de novembro de 2013

Divulgação dos livros eletrônicos da Elsevier assinados pelo Portal de Periódicos da CAPES.

Muitos títulos da área da Ciência da Computação.
Dentre os títulos em português, destacamos alguns de interesse do Campus:

9788535226683 - Empreendedorismo de Base Tecnológica, JUDICE, Valéria / COZZI, Afonso / DOLABELA, Fernando / FILION, Louis
9788535227208 - Deselvolvimento Distribuído de Software, AUDY, Jorge / PRIKLADNICKI, Rafael
9788535230673 - Introdução à Compilação, RICARTE, Ivan
978535230925 - Governança Corporativa, GUSSO, Eduardo / GIACOMETTI, Celso / SILVA, Elismar
9788535234176 - Empreendedorismo para Computação, FERRARI, Roberto
9788535234190 - Introdução à Ciência da Computação com Jogos, SOARES, Flávio /CLUA, Esteban /FEIJÓ, Bruno

O link é: http://americalatina.elsevier.com/ebooks/capes/

quinta-feira, 21 de novembro de 2013

EGRESSO DO CAMPUS DA UFC EM QUIXADÁ TEM DISSERTAÇÃO DE MESTRADO APROVADA




É com grande satisfação e orgulho que a Direção do Campus da UFC em Quixadá parabeniza Adriano Alves Dodó, segundo egresso do Campus Quixadá a concluir mestrado, pela aprovação de sua dissertação de mestrado intitulada “On Rich Modal Logics”, pelo Programa de Pós-Graduação em Sistemas e Computação da Universidade Federal do Rio Grande do Norte (PPGSC/UFRN).



A comissão examinadora foi composta pelos seguintes professores doutores: João Marcos de Almeida - UFRN (presidente), Benjamin Rene Callejas Bedregal – UFRN (membro interno), Cláudia Nalon – UnB (membro externo à Instituição) e Elaine Gouveia Pimentel - UFMG (membro externo à Instituição).



Adriano Dodó é aluno egresso da primeira turma (2007.2) do Curso de Sistemas de Informação, que obteve a oitava maior nota (4,53) do Brasil dentre 339 cursos avaliados pelo MEC em 2012.



Nossos sinceros votos de sucesso em sua jornada profissional!



Prof. Dr. Davi Romero de Vasconcelos

Diretor do Campus da UFC em Quixadá



Profa. Dra. Andréia Libório Sampaio 
Vice-Diretora do Campus da UFC em Quixadá


Banca de DEFESA: ADRIANO ALVES DODÓ
DISCENTE: ADRIANO ALVES DODÓ
DATA: 19/11/2013
HORA: 09:00
LOCAL: Sala de Reuniões DIMAp
TÍTULO:
On Rich Modal Logics
PALAVRAS-CHAVES:
Lógica Modal, Lógica Paranormal, Negação Modal, Lógica Difusa.
PÁGINAS: 80
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Teoria da Computação
ESPECIALIDADE: Lógicas e Semântica de Programas
RESUMO:
Esta dissertação trata do enriquecimento de lógicas modais. Usamos o termo enriquecimento em dois sentidos distintos. No primeiro deles, de fundo semântico, propomos uma semântica difusa para diversas lógicas modais normais, e demonstramos um resultado de completude para uma extensa classe dessas lógicas enriquecidas com múltiplas instâncias do axioma da confluência. Um fato curioso a respeito dessa semântica é que ela se comporta como as semânticas de Kripke usuais. O outro enriquecimento diz respeito à expressividade da lógica e se dá por meio da adição de novos conectivos, especialmente de negações modais. Neste sentido, estudamos inicialmente o fragmento da lógica clássica positiva estendido com uma negação modal paraconsistente e mostramos que essa linguagem é forte o suficiente para expressar as linguagens modais normais. Vemos que também é possível definir uma negação modal paracompleta e conectivos de restauração que internalizam as noções de consistência e determinação a nível da linguagem-objeto. Esta lógica constitui-se em uma Lógica da Inconsistência Formal e em uma Lógica da Indeterminação Formal. Em tais lógicas, com o objetivo de recuperar inferências clássicas perdidas, demonstram-se Teoremas de Ajuste de Derivabilidade. No caso da lógica estendida com uma negação paraconsistente, se removermos a implicação ainda lidaremos com uma linguagem bastante rica, com ambas negações paranormais e seus respectivos conectivos de restauração. Sobre esta linguagem estudamos a lógica modal normal minimal definida por meio de um cálculo de Gentzen apropriado, à diferença dos demais sistemas estudados até então, que são apresentados via cálculo de Hilbert. Em seguida após demonstramos a completude do sistema dedutivo associado a este cálculo, introduzimos algumas extensões desse sistema e buscamos Teoremas de Ajuste de Derivabilidade adequados.
MEMBROS DA BANCA:
Presidente - 1517271 - JOAO MARCOS DE ALMEIDA
Interno - 2212166 - BENJAMIN RENE CALLEJAS BEDREGAL
Externo à Instituição - CLAUDIA NALON - UnB
Externo à Instituição - ELAINE GOUVEIA PIMENTEL – UFMG
Fonte: http://www.sigaa.ufrn.br/sigaa/public/programa/noticias_desc.jsf?lc=pt_BR&id=73&noticia=1012519580