SNCT 2015 Convida à PARTICIPAÇÃO.

  

No período de 19 a 25 de outubro de 2015 será realizada a XII Semana Nacional de Ciência e Tecnologia (SNCT), com o tema: LUZ, CIÊNCIA E VIDA. 

A SNCT constitui o principal evento de popularização e difusão da Ciência e da Tecnologia no Brasil. Somos todos convidados a participar criando e provendo eventos relacionados com Ciência e Tecnologia. 

A SNCT constitui, também, uma excelente oportunidade para promover as necessárias aproximações entre a Indústria e a Universidade, para o estabelecimento das exigidas interações entre a Academia e o Mundo do Trabalho, para conseguirmos o efetivo relacionamento entre Ciência e Tecnologia.

Carlos Magno Corrêa Dias
08/09/2015

Perspectivas Póstumas Implicam Prospectivas Indevidas.

  
Agir em função das visões de futuro é deixar-se escravizar pela utopia do talvez.

Carlos Magno Corrêa Dias
26/08/2015

Mágicos Transformando o Mundo.

  
Mesmo que não exista qualquer fama os ARTISTAS são aqueles seres mágicos que tornam o mundo um lugar mais suportável. No dia 24 de agosto celebra-se o DIA DOS ARTISTAS. Para todos os ARTISTAS: os aplausos e as felicitações.

Carlos Magno Corrêa Dias
24/08/2015

Dilema da Aprendizagem Retroativa.

    
O transcorrer da vida nos proporciona a aquisição de novos significados na medida em que nos permitimos a melhor apreciação e interpretação das situações que já vivenciamos.

Carlos Magno Corrêa Dias
19/08/2015

De uma fusão anunciada para a possível transcendência.

  
Em 15 de agosto de 1946 entrava em operação o ENIAC (Electronic Numerical Integrator Analyzer and Computer), o qual é considerado como o primeiro computador digital eletrônico programável de grande escala; não sendo, entretanto, o primeiro computador, haja vista já existirem antes os computadores eletromecânicos tal qual o MARK I.

Abrindo as fronteiras ilimitadas para a criação dos computadores digitais (programáveis) o ENIAC foi construído entre os anos de 1943 e 1945, durante a Segunda Guerra Mundial; tendo sido concebido com o objetivo principal de realizar cálculos balísticos.

Composto por 17.468 (dezessete mil, quatrocentas e sessenta e oito) válvulas termiônicas (de 160 kW de potência), de 1.500 (mil e quinhentos) relés e uma quantidade enorme de capacitores, resistores, dentre outros componentes, sua capacidade de processamento era de 5.000 (CINCO MIL) operações por segundo (capacidade impensável antes de sua criação, mas facilmente superada pelas calculadoras científicas criadas a partir da década de 70).

O ENIAC era programado por uma equipe de 80 (oitenta) mulheres cuja função constituía em resolver “manualmente” as equações necessárias para os cálculos de balística (o que era conseguido mediante a manipulação de milhares de interruptores que assumiam o valor 0 ou 1 conforme estivessem desligados ou ligados).

Para testar o ENIAC foram escolhidas, dentre cerca duzentas candidatas, seis mulheres (cinco delas matemáticas de formação) para criar um algoritmo e realizar a implementação do mesmo no ENIAC.

Atualmente reconhecemos estas profissionais como as primeiras PROGRAMDORAS (COMPUTADORAS ELETRÔNICAS) da história da INFORMÁTICA; quais sejam: Kathleen "Kay" McNulty Mauchly Antonelli (1921-2006), Betty Jean Jennings (nascida Jean Bartik, 1924-2011), Frances Elizabeth "Betty" Holberton (nascida Frances Elizabeth Snyder, 1917-2001), Marlyn Meltzer (nascida Marlyn Wescoff, 1922-2008), Frances Spence (nascida Frances Bilas, 1922-2012) e Ruth Lichterman Teitelbaum (1924-1986).

“Informatik” (1956), “Informatique” (1962), “Informatika” (1966), INFORMÁTICA. Independentemente do vocábulo originalmente adotado atualmente, no dia 15 de agosto celebramos o DIA DA INFORMÁTICA e alvitramos desenvolvimentos cada vez mais intensificados na correspondente área do saber.

A Informática, de forma muito geral, pode ser definida como a ciência que estuda o processamento automático de informações por intermédio do computador; não sendo lícito confundir Informática com computador haja vista que a Informática existe em decorrência da existência do computador.

Todavia, a Informática é, por muitas vezes, tomada como o conjunto das ciências relacionadas ao armazenamento, transmissão e processamento de informações em meios digitais; ou como o processo de tratamento da informação por meio de máquinas eletrônicas; ou como a ciência que estuda o conjunto de informações e conhecimentos por meios digitais; ou, ainda, como a ciência que estuda o processamento automático de informações por meio do computador (o qual, em particular, ou em última análise, é apenas uma máquina (no sentido estrito do termo)).

Mas, a Informática é entendida, também, como a ciência que funde, em dada medida e em particular grau de complexidade, os conceitos de Matemática e Informação, áreas estas incompletas, incompletáveis e de infindas possibilidades (no sentido de constituírem campos abertos em ampla expansão).

Na associação intrínseca estabelecida entre Matemática, Informação e Máquina Programável estabelecemos, entretanto, os caminhos da “transcendência” nos mais diversos e distintos sentidos os quais o homem vem trilhando incansavelmente.

Que a INFORMÁTICA sempre avance para a melhoria de vida dos humanos.

Carlos Magno Corrêa Dias
15/08/2015

IBM 5150, um Privilégio na História.

  
O revolucionário (fantástico) IBM Personal Computer (PC) 5150 [Sistema Operacional: IBM BASIC / PC DOS 1.0, CP/M-86, UCSD p-System; CPU com processador INTEL 8088 de 4,77 MHz (versão econômica do processador 8086); Memória: 64 KB RAM e 40 KB ROM; duas unidades de disquetes de 5,25 polegadas (com capacidade de 160 KB); sem disco rígido] foi colocado no mercado no dia 12 de agosto de 1981. 

Em novembro de 1981 adquiri um destes (Foto: Wikipédia). Quem teve um IBM PC 5150 nunca esquece a satisfação ímpar experimentada. Fomos privilegiados.

Carlos Magno Corrêa Dias
12/08/2015

Sobrepujando Limites Inexistentes.

Numa perspectiva holística escondem-se mistérios ontológicos de provas impossíveis.

Carlos Magno Corrêa Dias
11/08/2015

Antinomias Paradoxais Condicionais.

No mundo das contingências enunciam-se sentenças tautológicas que escondem evidências contraválidas.

Carlos Magno Corrêa Dias

22/07/2015

Tautologia dos Freios Condicionais.

Muita “matemática” deixou de ser realizada a partir da LÓGICA e muito mais “matemática” será impedida de ser produzida com a permanência da LÓGICA.

Carlos Magno Corrêa Dias
19/07/2015

Exército dos LÓGICOS DEDUTIVOS é Ampliado com Nova Certificação.

  
No período de 11 de maio de 2015 a 29 de junho de 2015, no Câmpus Curitiba da TECNOLÓGICA (Universidade Tecnológica Federal do Paraná - UTFPR), tive a grata satisfação de ministrar o Curso de Extensão Universitária e Tecnológica intitulado LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS.

Desenvolvi o Curso em referência em um total de 30 horas acadêmicas para Estudantes regulamente matriculados em Cursos das Ciências Exatas do Sistema UTFPR e em disciplinas das quais sou o Professor.

O Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS foi ofertado gratuitamente para os participantes, sem ônus para a Universidade e sem vinculação com quaisquer Agências de Fomento. Tenho em semelhante ação minha contrapartida de contribuição com a Sociedade por meio da Extensão que entendo não possa ser desenvolvida de forma diferente em Instituições de Ensino Superior Públicas.

Como principal propósito do Curso o mesmo objetivou apresentar aos participantes os Cálculos Lógicos desenvolvidos em Lógica Matemática Dedutiva de Primeira Ordem como Modelos Inferenciais para evidenciar Procedimentos Formais de Raciocínios Dedutivos que permitam, por sua vez, avaliar, mediante a Álgebra da Lógica, a correspondente Validade e Consistência de Inferências Formais estruturadas como Argumentos Dedutivos nos quais Conclusões são consequências de Premissas identificadas.

Objetivei, também, a apresentação de Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica aplicáveis em Raciocínios Bivalentes e Dicotômicos para o “bem pensar”.

O “EXÉRCITO DOS LÓGICOS DEDUTIVOS” é ampliado com a correspondente CERTIFICAÇÃO adquirida pelos Jovens Dedutivos que participaram do Curso desenvolvido.

Parabéns aos Jovens Acadêmicos pela Certificação.

Professor Carlos Magno Corrêa Dias
30/06/2015