O Sistema de Bibliotecas da Universidade Federal do Ceará realizará o inventário do seu patrimônio bibliográfico no período de 27 de janeiro a 07 de fevereiro de 2014. A atividade é uma exigência do Tribunal de Contas da União (TCU), baseada na Lei 4.320/67, Decreto lei 200/67 e legislação vigente.
Durante o inventário, as bibliotecas estarão abertas apenas para a devolução de livros e para entrega de declaração de quitação com a biblioteca (“nada consta”). A renovação pela internet continuará disponível, mas a liberação de reservas estará suspensa no período do inventário, sendo retomada normalmente a partir do dia 10 de fevereiro. Não serão cobradas multas referentes a esse período.
O Sistema de Bibliotecas está comprometido com a agilidade do processo, a fim de minimizar os transtornos à comunidade acadêmica.
Fonte: Direção da Biblioteca Universitária
sexta-feira, 3 de janeiro de 2014
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
|
1º Carlos
Igor Ramos Bandeira
|
|
SETOR DE
ESTUDO (1 vaga)
|
REGIME
|
CLASSIFICADO
|
|
Linguagens de Programação e
Compiladores
|
40 h/DE
|
1º Allberson
Bruno de Oliveira Dantas
2º 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
|
1º Paulo
de Tarso Guerra Oliveira
2º 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, 17 de dezembro de 2013
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.
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.
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¬icia=1012519580
Assinar:
Postagens (Atom)