Logique pour l'informatique
32,00 €
Sur commande
EAN :
9782340042612
Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le lecteur pourra s'assurer de sa bonne compréhension des notions techniques exposées gràce aux nombreux exercices corrigés qui les accompagnent. Ce socle est ensuite développé selon trois axes : un approfondissement des notions de logique pour elles-mêmes (théorèmes de correction et de complétude, théorèmes d'indécidabilité) ; des exemples détaillés de l'informatisation de la logique, comme le problème de la satisfiabilité des formules propositionnelles et sa complexité (problème Sat) ou des algorithmes pour la recherche automatique de preuves (résolution, unification) ; enfin, une illustration de quelques applications informatiques directes de la logique : programmation logique, programmation par preuve, langages de requêtes des bases de données relationnelles, model checking. Les auteurs se sont attachés à ce que, au-delà de l'exposé des éléments de base de la logique des prédicats (syntaxe, sémantique, preuves), l'ensemble du contenu de ce livre reste abordable aux étudiants de licence d'informatique sans prérequis. Ce livre pourra donc également intéresser tout étudiant en informatique (master, école d'ingénieurs, concours, etc.), voire tout informaticien en activité curieux de découvrir le bénéfice que l'on peut tirer de la logique pour l'informatique.
Plus d'informations
| EAN | 9782340042612 |
|---|---|
| Titre | Logique pour l'informatique |
| Auteur | Jaume Mathieu ; Journault Matthieu ; Lesot Marie-j |
| Editeur | ELLIPSES |
| Largeur | 190 |
| Poids | 653 |
| Date de parution | 20201103 |
| Nombre de pages | 331,00 € |
Pourquoi choisir Molière ?
Efficacité et rapidité Commandé avant 16h livré demain
Économique et pratique Livraison dès 3,90 €
Facile et sans frais Retrait gratuit en magasin
Du même auteur
-
Eléments de mathématiques discrètes. Cours, exercices résolus, implémentations avec les langages Pyt
Résumé : Cet ouvrage, destiné aux étudiants en Licence et Master d'informatique ou de mathématiques ainsi qu'aux élèves ingénieurs, présente quelques éléments de mathématiques discrètes (ensembles, relations, fonctions, automates, logique). Chaque notion est illustrée sur de nombreux exemples, exercices corrigés et programmes informatiques écrits avec les langages Python et OCaml (plus de 150 exemples accompagnés de 144 exercices et 250 programmes sont fournis).Sur commandeCOMMANDER49,00 € -
Qu'est-ce-que l'esprit européen ?
Biographie de l'auteur Directeur de recherche au CNRS, membre du Centre de recherches politiques de Sciences Po (le CEVIPOF), Lucien Jaume enseigne la philosophie politique à Sciences Po Paris. Spécialiste du libéralisme, il est l'auteur de nombreux ouvrages, dont L'Individu effacé ou le Paradoxe du libéralisme français (Fayard, 1997) et Tocqueville : les sources aristocratiques de la liberté (Fayard, 2008 ; prix Guizot de l'Académie française).Sur commande, 2 à 4 joursCOMMANDER8,20 € -
Les origines philosophiques du libéralisme
Triomphe du marché et de la société civile, règne de l'individualisme et du "droit à la différence", déclin de la loi abstraite et uniforme au profit de droits de plus en plus différenciés: telle est la vision associée aujourd'hui au libéralisme - principalement chez ses adversaires, parfois chez ses défenseurs. Pourtant, les origines philosophiques du libéralisme contredisent ce schéma: les "classiques" ont mis au centre de leur pensée la souveraineté de la Loi, indissociable de sa fécondité pour la liberté humaine. Que nous enseigne alors cette divergence d'interprétation? Est-ce l'expression d'une tension interne à la pensée libérale elle-même? Faudrait-il opposer la loi et les droits, en revenant pour cela au partage entre le courant rationaliste, fondateur du libéralisme politique, et le courant empiriste qui crée, avec David Hume, le libéralisme économique? Telles sont les questions qu'explore le présent ouvrage, en les rapportant à l'idéal commun des libéraux: "le gouvernement de la liberté".Sur commande, 2 à 4 joursCOMMANDER10,20 € -
Les Déclarations des droits de l'homme. (Du Débat de 1789-1793 au Préambule de 1946)
La Déclaration des droits de l'homme et du citoyen, proclamée en août 1789, passe à juste titre pour un des textes fondamentaux de la pensée politique moderne. Il est cependant peu connu que le célèbre texte ne fut pas isolé : dans la phase girondine, puis montagnarde de la Convention, deux autres Déclarations apparurent (mai et juin 1793), avec d'importantes différences. Les Constitutions de l'an III (1795) et de l'an VIII (1799) furent, à leur tour, précédées de Déclarations. Outre les textes fondamentaux, cette édition vise à faire connaître les plus significatifs des textes préparatoires, dont certains ont eu pour auteur un Condorcet, un Marat... A cet ensemble passionnant qui rassemble les questions les plus fondamentales de la philosophie politique - souveraineté, droits naturels, droits individuels-, on a ajouté la Déclaration de 1848 et la Déclaration universelle de 1946.Sur commande, 2 à 4 joursCOMMANDER7,00 €
Du même éditeur
-
La Chine. Histoire d'une civilisation plurimillénaire, 2e édition revue et augmentée
Nous l'appelons la Chine, du mot indien C ina , pays de la soie. Elle se désignait elle-même par l'idéogramme Zhongguo , " pays du milieu ". Aujourd'hui, suite à l'ajout d'idéogrammes par le parti communiste, le pays que l'on appelle " République populaire de Chine " est pour les Chinois le " splendide pays du milieu dont l'harmonie est mise en commun par les gens du peuple ". Ce livre de synthèse évoque l'histoire plurimillénaire de la Chine en trois grandes phases. Il évoque d'abord les origines de la civilisation chinoise, avec les bases de son organisation sociale et de ses courants philosophiques, et la naissance de l'empire. Il montre ensuite comment vers l'an mil la civilisation se raffine, devenant moins militaire. L'empire connaît son apogée au XVIIIe siècle, avant le déclin du XIXe siècle jusqu'à sa chute en 1911. Puis vient, de 1912 à nos jours, l'époque de la République : gouvernée dix ans par les nationalistes du Guomindang, la Chine déchirée par l'agression japonaise puis par la guerre civile, devient communiste à partir de la victoire de Mao Zedong en 1949. Le Président actuel montre une détermination à légitimer sa politique en s'appuyant sur l'histoire plurimillénaire de la Chine. Quels sont les atouts et les limites de cette politique dans une société chinoise en mouvement ? L'auteur tente ici de souligner les avancées, les reculs et les paradoxes de la puissance chinoise au cours des siècles. Anne Bernard-Grouteau est agrégée d'histoire-géographie, diplômée de Sciences po Paris et enseigne au Centre Universitaire de Foix de l'Université Jean Jaurès de Toulouse.EN STOCKCOMMANDER24,00 € -
Psychiatrie & psychologie du futur
Fédérant parmi les meilleurs spécialistes francophones, membres de la société la Société Médico-Psychologique, cet ouvrage expose les méthodes diagnostiques et thérapeutiques innovantes qui feront la psychiatrie et la psychologie de demain. Il s'ouvre également vers les enjeux éthiques des évolutions cliniques et anthropologiques. Il est structuré en trois parties : - Diagnostics du futur - Politique de santé mentale : recherche - enseignement - expertise - Thérapies du futurEN STOCKCOMMANDER39,00 € -
40 thèmes illustrés par le numérique pour l'agrégation interne de mathématiques. Développements, exe
Ce livre présente une quarantaine de thèmes, couvrant une large partie du programme des oraux de l'agrégation interne de mathématiques. Les thèmes sont répartis en trois catégories : des illustrations pour accompagner des résultats courants ; des exercices corrigés que l'on peut adapter en exemples de cours ; des développements approfondis, présentables en deuxième partie d'entretien. Pour chacun d'entre eux, une application, au moins, est proposée avec Python, Geogebra ou LibreOffice. L'ouvrage constitue donc un point d'appui pour répondre aux attentes du jury concernant "l'usage pertinent des outils numériques". Au-delà de ce concours, il peut intéresser les candidats à l'agrégation externe ainsi que tous les enseignants et étudiants désireux d'améliorer leurs connaissances informatiques et de rendre les mathématiques avancées plus visuelles.EN STOCKCOMMANDER24,00 € -
Micro et macroéconomie. 50 fiches pour réviser et comprendre les mécanismes économiques
Cet ouvrage qui couvre l'ensemble de la microéconomie et de la macroéconomie aborde chaque thème à partir d'une fiche de révision synthétique et de cas pratiques. Il s'adresse principalement aux élèves de premier cycle d'économie, de classes préparatoires, des IEP ou des écoles de commerce et des magistères. Mais il s'adresse également aux élèves de BL. Qu'apporte spécifiquement cet ouvrage ? Tout d'abord, j'ai tenu à réduire la modélisation mathématique en mettant davantage l'accent sur la compréhension des modèles comme ISLM et 060G. J'aborde aussi les bases de l'actualisation, méthode utilisée par les banques d'affaires et les fonds de gestion pour valoriser les actifs financiers. Enfin, j'aborde des cas pratiques comme la faillite du fond LTOM.EN STOCKCOMMANDER26,00 €
De la même catégorie
-
Informatique & numérique à l'usage des seniors et autres débutants. 6e édition
Mode d'emploi très simple, illustré, didactique - et parfaitement à jour (Windows 11) - concentré sur les utilisations les plus courantes qu'ont les particuliers sur ordinateur et internet. Ordinateur, logiciels, internet... Comment s'équiper ? Comment ça marche ? Pour quels services ? Conseils et mode d'emploi... Voici expliquées les bases de l'utilisation de l'ordinateur et des services Internet dans des termes simples, illustrés de nombreux exemples : un point de départ qui permettra au lecteur d'acquérir les bases nécessaires pour découvrir par lui-même les possibilités infinies de la machine et de l'internet. Retrouvez tout ce qui est susceptible d'intéresser un Senior - ou tout autre débutant - dans son cadre familial pour communiquer, s'informer, se consacrer à ses hobbies... voire rompre l'isolement et faciliter le maintien à domicile. Sommaire (extraits) POUR BIEN COMMENCER . Acheter un ordinateur . Internet chez vous . Autopsie d'un ordinateur . Les cartes . Le disque dur . Périphériques indispensables . Prises . Du bon usage de la souris et du clavier . Logiciels... INSTALLATION DE L'ORDINATEUR . Mettre en marche son ordinateur . Prise en main . Présentation du bureau . Lancer une application . Utiliser un périphérique USB . Arrêter l'ordinateur... Dossiers et fichiers . Du bon rangement des choses . L'explorateur Windows . Manipuler les dossiers . Manipuler les fichiers . La corbeille... UTILISER L'ORDINATEUR . Exécuter un programme . Les principaux programmes d'application . Installer des logiciels . Imprimer . Installer une imprimante . Impression standard . Graver un CD/DVD . Graver un disque de données . Compléter un disque de données déjà gravé . Graver un CD audio . Graver un DVD Vidéo... LE MONDE DE L'INTERNET . Se connecter à internet . Principe et vocabulaire . Le navigateur . Atteindre un site . Naviguer sur internet . La sécurité sur internet . Télécharger . La messagerie . Envoyer et recevoir des messages . Gérer ses messages... COMMUNIQUER . Le téléphone sur internet . Le "chat" . Partager . Envoyer de gros fichiers . Les réseaux sociaux... SE DIVERTIR . Ecouter un CD ou regarder une vidéo . Récupérer vos vieux vinyles . Les images . La photographie . La vidéo . Jouer... SECURITE ET ENTRETIEN . Se prémunir contre les pannes . Sauve- garder vos données . Sauvegarder vos courriels . Se prémunir contre les attaques informatiques . Déclarer un autre utilisateur . Contrôle parental... PRATIQUE . Au secours ! . J'ai perdu la barre des tâches ! . Mon ordinateur a l'air bien fatigué ! . Mon ordinateur est planté ! . J'ai effacé un fichier par inadvertance . Trucs et ficelles . Quelle place reste-t-il sur un disque ? . Mise à l'heure . Extensions et icônes des principaux logiciels...EN STOCKCOMMANDER24,00 € -
Le petit cyber-compliance. L'essentiel en bref, Edition 2025
En 48 pages et 16 fiches pratiques, Le petit Cyber-compliance fournit toutes les notions indispensables pour appréhender les réglementations en vigueur en matière de cybersécurité contre la cybercriminalité. Cet ouvrage donne ainsi les repères utiles pour se repérer dans l'écosystème complexe de la conformité informatique : - cartographie des cyber-risques - réglementations européennes et françaises - devoir de vigilance et outils de gestion - management et acteurs de la cybersécurité - s'assurer contre le cyber-risque ++ Inclus : un test interactif pour tester ses connaissances ++------------------------------------? Depuis plus de 20 ans, Les Petits Experts récapitulent les chiffres, données et savoir-faire clés en gestion d'entreprise. Indispensables, précis et pratiques, ils sont structurés en fiches synthétiques, dans un format accessible de 48 pages. ? Avec plus d'une vingtaine de titres mis à jour chaque année, ils sont un repère incontournable pour tout étudiant ou professionnel.EN STOCKCOMMANDER4,90 € -
Informatique
Tous les outils/formules/équations/connaissances clés d'une discipline : - synthétisés dans un dépliant de 6 pages/3 volets à conserver dans son classeur, glisser dans son sac ou afficher au mur pour retrouver en un coup d'oeil l'information dont on a besoin. - vus dans le secondaire, considérés comme acquis à l'entrée dans le supérieur et indispensables pour avancer dans le supérieur - à un prix symbolique : - Moins de 10 euros, l'étudiant peut en acquérir plusieurs. - Les enseignants ont moins de scrupules à les recommander. - dans un format synthétique et pratique : - Idéal pour retrouver rapidement les informations clés. - Facile et rapide à consulter. - En couleurs, dans une présentation attractive. - A déplier/replier/afficher selon l'usage : révision, consultation ponctuelle et rapide, mémorisation visuelleEN STOCKCOMMANDER5,95 € -
Apprendre à coder en Python
Vous souhaitez vous initier à la programmation mais vous ne savez pas par où commencer ? Python est la clé : très simple à utiliser, ce langage s'applique à de nombreux contextes : traitement de données, intelligence artificielle, machine learnig... Idéal pour apprendre et facile d'accès, il permet de se former aux premiers concepts de tout langage de programmation. Il est en cela la meilleure introduction à l'univers du code. Découvrez des conseils pratiques et des exemples ludiques pour comprendre et maîtriser la syntaxe de base du langage, appréhender les structures essentielles d'un programme, le corriger, installer des bibliothèques, concevoir des applications, rendre un site Web interactif ou créer des jeux !EN STOCKCOMMANDER5,00 €
