Libre Software Liban

-
Libre ou Free Software Lebanon, folow the movement...

Commentaires

Enregistrer un commentaire

Hebergement web Open Source

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