Associé à l'Open Source Lebanese Movement

Hébergement web dédié :

Ou hébergement web semi-dédié

CoFARes : COordinating Free Activities RESources, Free as freedom (libre)

cofares.net : member of the "Free Open Source Lebanese Network" OSLM and Independent Signatories of The Manifesto for Agile Software Development

Find more about OSLM (Open Source Lebanese Movement, The blog)



Support one of the best web hosting company : eurabiahosting.com
Projet Open Source Cycle C informatique Liban 2011: informatique-eicnam-liban-2011

Posts les plus consultés de ce blog

Github quelques statistiques

"GitHub, dont le rachat par Microsoft a été finalisé fin octobre, publie un rapport Octoverse. Une sorte de bilan annuel. On y apprend justement que Microsoft figure en tête des organisations dont les employés contribuent le plus à l'open source. Devant Google et Red Hat (récemment racheté par IBM)." Lire l'article complet https://www.generation-nt.com/github-octoverse-rapport-javascript-actualite-1959640.html
Lire la suite

Notion de logique

Un discours vous semble en général attirant par sa  rigueur formelle (présence d'idées directrices dont l'exposition suit un plan et une progression claire des idéée) plus que par le fait que l'on y defend tel ou tel positions ou point de vue. L'auditeur sanctionne plus facilement une incohérence dans le raisonnement qu'une affirmation fausse, qui d'ailleurs, le plus souvent, passe inaperçue. La logique, pour l'homme, constitue à la base une déontologie du raisonnement? Pour "travailler" avec la logique. La logique est formalisée. La logique formelle a pour but de définir un langage et des règle (dites d'inférence) afin de permettre de modéliser le "Monde". Il y aura donc une différence entre la  validité  qui découle d'un raisonnement correcte basé sur le formalisme choisi et la  vérité  matérielle, celle de la réalité.
Lire la suite