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

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

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

Nikolay Vereshchagin
Department of Mathematical Logic and Theory of Algorithms
Alexander Shen
Systèmes complexes, automates et pavages

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 : vendredi 29 novembre 2024-12:34:03

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
160 Consultations
4400 Téléchargements

Partager

More