Live Music Archive
Librivox Free Audio
Metropolitan Museum
Cleveland Museum of Art
Internet Arcade
Console Living Room
Books to Borrow
Open Library
TV News
Understanding 9/11Programmation Et Langages Symboliques
Bookreader Item Preview
Share or Embed This Item
- Publication date
- 1978
- Topics
- Programmation, FORTRAN, ALGOL, software
- Publisher
- Éditions Mir
- Collection
- mir-titles; additional_collections
- Language
- French
Le berceau de la programmation (en tant que problème et en
tant que spécialité) en U.R.S.S. fut entouré de mathématiciens.
Aujourd’hui encore, un grand nombre de mathématiciens consacrent
leurs efforts à la théorie et à la pratique de la programmation.
C’est la raison pour laquelle la programmation devint d’emblée
une science. Dès 1951-1953 A. A. Liapounov en exprima les idées
fondamentales en analysant le processus de programmation, et en
arrivant à la notion de schéma logique du programme, puis en formulant
la notion d’opérateur de programme. C’est sur ce fondement
que fut construite la méthode de programmation opératorielle *),
que furent créés les premiers compilateurs soviétiques (op les appelait
à l’époque « programmes de programmation »), écrits les premiers
ouvrages sur les transformations équivalentes des algorithmes.
En 1953, le mathématicien soviétique A. A. Markov proposa une
théorie des algorithmes normaux qui, tout en appartenant à la
logique mathématique, exerça une grande influence sur le développement
des idées de la théorie de programmation.
Les programmeurs soviétiques disposent aujourd’hui des résultats
théoriques et pratiques obtenus en U.R.S.S. et à l’étranger.
Notre pays attache une grande importance à la formation des cadres.
Non seulement les universités, mais aussi plusieurs écoles supérieures
techniques forment maintenant des spécialistes en programmation.
Dans ce but, on y crée des chaires, et parfois des sections de
mathématiques appliquées.
D’après ce livre, on peut, dans une certaine mesure, se faire une
idée sur le développement de la programmation en U.R.S.S., bien
que, pour des raisons évidentes, les dernières études n’y soient pas
présentées (les méthodes de programmation parallèle, les récents
résultats des mathématiques appliquées et de la théorie non traditionnelle des algorithmes, orientés vers les calculateurs et la programmation).
Si le présent ouvrage intéresse le lecteur français, les auteurs
espèrent lui faire connaître, dans un proche avenir, certaines matières
qui n’y figurent pas.
Les auteurs profitent de l’occasion pour exprimer leur profonde
reconnaissance à M. Kharine qui a réalisé la traduction du livre et
en a revu le texte.
Sous la direction de
A. DORODNITSYNE,
de VAcadémie des Sciences
de l'URSS.
Traduit du russe par V. Kharine
Un grand merci à Henri Leveque pour le scan original.
- Addeddate
- 2023-03-23 07:42:33
- Identifier
- n.-kbinitsk-i-g.-mironov-c.-frolov-programmation-et-langages-symboliques-mir-1978
- Identifier-ark
- ark:/13960/s2z35fpz74d
- Ocr
- tesseract 5.3.0-3-g9920
- Ocr_detected_lang
- fr
- Ocr_detected_lang_conf
- 1.0000
- Ocr_detected_script
- Latin
- Ocr_detected_script_conf
- 1.0000
- Ocr_module_version
- 0.0.20
- Ocr_parameters
- -l fra
- Page_number_confidence
- 99.02
- Ppi
- 600
- Scanner
- Internet Archive HTML5 Uploader 1.7.0
comment
Reviews
There are no reviews yet. Be the first one to
write a review.
168 Views
DOWNLOAD OPTIONS
IN COLLECTIONS
Mir Titles
Additional Collections 
Uploaded by mirtitles on
