Mathematical Logic

Mathematical Logic

Brahim Lejdel

65,49 €
IVA incluido
Disponible
Editorial:
KS OmniScriptum Publishing
Año de edición:
2025
Materia
Matemáticas
ISBN:
9786209170171
65,49 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Kálamo Books
  • Librería Elías (Asturias)
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

Welcome to this book dedicated to Mathematical Logic for Computer Science, a fundamental discipline that illuminates the logical workings behind modern computer systems. Throughout this book, we will explore propositional logic and predicate logic in a simple and comprehensible manner. The exercises accompanying each chapter have been carefully selected to provide readers with the opportunity to put the discussed principles into practice and strengthen their understanding. Whether you are a computer science student, a professional in the field, or simply passionate about mathematical logic, this textbook aims to be your trusted companion in exploring this fascinating domain.

Artículos relacionados

  • Wearable Electronics and Embedded Computing Systems for Biomedical Applications
    Wearable electronics and embedded computing systems have been receiving a great deal of interest over the last two decades in research and commercial fields, with a special focus on biomedical applications. The key benefits introduced by these systems include their small size, lightweight, low-power consumption, and, of course, wearability. Major human-centered applications are...
    Disponible

    67,84 €

  • John and Betty’s Journey Into Complex Numbers
    Matt Bower
    Set in the genre of a children’s book, John and Betty trace the evolutionof complex numbers and explore their operations. From integers, tofractions, to surds, complex numbers are made to seem like an obviousextension. Incorporating graphing on the complex number plane andculminating in De Moivre’s Theorem, the logic of complex numbers ismade to seem intuitive and simple. John ...
    Disponible

    19,23 €

  • Special Functions
    Historically, the notion of entropy emerged in conceptually very distinct contexts. This book deals with the connection between entropy, probability, and fractional dynamics as they appeared, for example, in solar neutrino astrophysics since the 1970's (Mathai and Rathie 1975, Mathai and Pederzoli 1977, Mathai and Saxena 1978, Mathai, Saxena, and Haubold 2010).The original ...
    Disponible

    75,85 €

  • VALUE DISTRIBUTION IN P-ADIC ANALYSIS
    ALAIN ESCASSUT / ESCASSUT ALAIN
     The book first explains the main properties of analytic functions in order to use them in the study of various problems in p-adic value distribution. Certain properties of p-adic transcendental numbers are examined such as order and type of transcendence, with problems on p-adic exponentials. Lazard's problem for analytic functions inside a disk is explained. P-adic meromo...
  • WORLDWIDE LOTTERY GAMES In Naturally Optimized Systems
    Cornelia Lala / Corneliu Lala
    Worldwide Lottery Games In Naturally Optimized Systems Pick 5 has been developed on the authors’ initiative, based on the belief that nothing in the Universe happens by chance because there are laws governing everything, and by increasing our knowledge, we can triumph over mere chance. This is a book for players and/or groups of players (syndicates) who want to play to more th...
    Disponible

    33,46 €

  • ENTENDIENDO LAS PROBABILIDADES Y CALCULÁNDOLAS
    Catalin Barboianu / Rafael Martilotti
    La vida cotidiana está llena de situaciones que exigen tomar decisiones. Y en estos casos comparamos y hacemos estimaciones de probabilidades, a veces casi sin darnos cuenta, especialmente en el momento de decidir. Pero las probabilidades no son números simples asociados objetiva o subjetivamente a los eventos, como nos podría parecer, y el cálculo y el uso que le damos están e...
    Disponible

    31,57 €

Otros libros del autor

  • Logique mathématique
    Brahim Lejdel
    Bienvenue dans cet ouvrage consacré à la logique mathématique pour l’informatique, une discipline fondamentale qui éclaire le fonctionnement logique des systèmes informatiques modernes. Tout au long de cet ouvrage, nous explorerons la logique propositionnelle et la logique des prédicats de manière simple et compréhensible. Les exercices accompagnant chaque chapitre ont été soig...
    Disponible

    73,26 €

  • Logika matematyczna
    Brahim Lejdel
    Witamy w książce poświęconej logice matematycznej dla informatyki, podstawowej dyscyplinie, która wyjaśnia logiczne zasady działania współczesnych systemów komputerowych. W tej książce w prosty i zrozumiały sposób omówimy logikę zdań i logikę predykatów. Ćwiczenia towarzyszące każdemu rozdziałowi zostały starannie dobrane, aby dać czytelnikom możliwość zastosowania omówionych z...
    Disponible

    73,26 €

  • Logica matematica
    Brahim Lejdel
    Benvenuti in questo libro dedicato alla logica matematica per l’informatica, una disciplina fondamentale che illustra il funzionamento logico alla base dei moderni sistemi informatici. Nel corso di questo libro esploreremo la logica proposizionale e la logica dei predicati in modo semplice e comprensibile. Gli esercizi che accompagnano ogni capitolo sono stati accuratamente sel...
    Disponible

    73,26 €

  • Lógica matemática
    Brahim Lejdel
    Bem-vindo a este livro dedicado à Lógica Matemática para Ciência da Computação, uma disciplina fundamental que esclarece o funcionamento lógico por trás dos sistemas informáticos modernos. Ao longo deste livro, exploraremos a lógica proposicional e a lógica predicativa de uma maneira simples e compreensível. Os exercícios que acompanham cada capítulo foram cuidadosamente seleci...
    Disponible

    71,96 €

  • Mathematische Logik
    Brahim Lejdel
    Willkommen zu diesem Buch über mathematische Logik für Informatik, einer grundlegenden Disziplin, die die logischen Abläufe hinter modernen Computersystemen beleuchtet. In diesem Buch werden wir uns auf einfache und verständliche Weise mit Aussagenlogik und Prädikatenlogik befassen. Die Übungen zu jedem Kapitel wurden sorgfältig ausgewählt, um den Lesern die Möglichkeit zu gebe...
    Disponible

    71,96 €

  • Sécurité de l’information Avec exercices résolus
    Brahim Lejdel
    Ce livre présente une exploration fondamentale de la sécurité de l’information à travers le prisme de la cryptographie, en passant des systèmes classiques aux systèmes modernes. Il commence par illustrer le chiffrement à clé symétrique avec le chiffrement de Hill, qui transforme les données à l’aide de l’algèbre linéaire, et introduit le concept de secret parfait avec le tampon...
    Disponible

    66,99 €