Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Ouvrages Année : 2017

Lectures on mathematical logic an algorithms theory. Part 2. Languages and calculi.

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления.

Résumé

A textbook for undergraduate students on first-order logic.

Domaines

Mathématiques [math]
Fichier principal
Vignette du fichier
part2-5ed.pdf (1.26 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Alexander Shen  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01486497

Soumis le : jeudi 9 mars 2017-21:38:45

Dernière modification le : mardi 16 avril 2024-11:08:35

Télécharger pour visualiser

Dates et versions

lirmm-01486497 , version 1 (09-03-2017)

Identifiants

  • HAL Id : lirmm-01486497 , version 1

Citer

Nikolay Vereshchagin, Alexander Shen. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. . 2017, 978-5-4439-0944-8. ⟨lirmm-01486497⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ESCAPE LIRMM MIPS UNIV-MONTPELLIER
145 Consultations
3955 Téléchargements

Partager

Gmail Facebook X LinkedIn More