En savoir plus

Lambda-calcul : de la définition à la logique booléenne

Deuxième partie de notre dossier consacré au lambda-calcul ! Après nous avoir présenté l’histoire du Lambda-calcul, Anatolli nous propose cette fois d’en découvrir la définition et les méthodes pour construire des programmes simples équivalents à la machine de Turing.

Lire la suite
En savoir plus

Méthode de rédaction des exigences d’un projet

La gestion de projet est particulièrement difficile et nécessite beaucoup de rigueur. La rédaction des exigences constitue le point de départ de beaucoup de projets. Salomé nous propose de découvrir comment les rédiger de façon précise et efficace.

Lire la suite
En savoir plus

Émission de dette ou action : quel financement pour les entreprises ?

Tout le monde a déjà entendu parler des actions mais connaissez-vous les obligations ? Certainement pour les états, et pour les entreprises ? Il s’agit d’un outil de financement, au même titre que les actions. Qu’est ce qui les différencie ? Jérémie nous présente quelques éléments clef pour découvrir ou redécouvrir ce qu’ils sont.

Lire la suite
En savoir plus

Histoire du Lambda-calcul

Depuis que les lambda ont été formalisées par Alonso Church dans les années 1930, elles ont été l’objet d’étude et de développement importants. Elles sont également des outils importants dans nombre de théories ayant permis de nombreuses réussites comme la démonstration du théorème des quatre couleurs. Anatolli nous retrace l’essentiel de cet objet puissant des mathématiques modernes.

Lire la suite
En savoir plus

Bien gérer l’activation de points d’arrêt avec IntelliJ

Le debugging est une tâche fastidieuse bien connue des développeurs. Les IDE proposent en général de nombreuses options concernant l’utilisation des breakpoints. Les maîtriser, c’est se faciliter la vie ! Claire nous présente les différentes options possibles avec IntelliJ.

Lire la suite
En savoir plus

FAQ Finance

Vous passez prochainement un entretien en finance ? La pression monte et vous avez besoin d’aide ? Révisez en 10 questions (un peu poussées) les sujets que vous pourrez rencontrer en entretien. De la martingale au smile de volatilité, en passant par l’appel de marge, Jérémie vous livre ses secrets pour répondre de manière synthétique et pertinente !

Lire la suite

Actualités Meritis

Logo Navigacom rachat par Meritis
En savoir plus

Meritis rachète Navigacom et lance le coup d’envoi de sa stratégie de croissance externe

Le secteur des ESN évolue, Meritis aussi. La transformation numérique est une réponse aux défis majeurs que les bouleversements environnementaux, sociétaux et géopolitiques imposent aux entreprises : maximisation des matières …

Lire la suite
En savoir plus

Meritis renforce son engagement envers la certification ISO 27001.

La certification ISO 27001 constitue une reconnaissance internationale de la capacité des entreprises à protéger les informations sensibles qui leur sont confiées. Depuis son obtention en 2021, Meritis s’attache à …

Lire la suite
CodeOnTime.fr Code On Time Mockup Meritis développeur concours de code
En savoir plus

Code On Time : Meritis franchit un cap stratégique avec un lancement officiel en janvier 2025

Code On Time, le concours de code emblématique de Meritis, franchit une nouvelle étape avec le lancement de son site dédié, prévu le 23 janvier 2025, comprenant le lancement d’un …

Lire la suite