Kibernetika i logicheskai︠a︡ formalizat︠s︡ii︠a︡: aspekty istorii i metodologii

& (eds.)
Moskva: Akademii︠a︡ nauk SSSR, Nauch. sovet po kompleksnoĭ probleme "Kibernetika," (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.2.K53 1982

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,813

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

B.V. BIRYUKOV and A.G. SPIRKINA "Voprosy kibernetiki. Kibernetika i logicheskaya formalizatsiya. Aspekty istorii i metodologii". [REVIEW]G. J. Tee - 1984 - History and Philosophy of Logic 5 (2):259.
Zhar kholodnykh chisl i pafos besstrastnoĭ logiki: formalizat︠s︡ii︠a︡ myshlenii︠a︡ ot antichnykh vremen do ėpokhi kibernetiki.B. V. Biri︠u︡kov - 1985 - Moskva: Ėditorial URSS. Edited by Viktor Nikolaevich Trostnikov.
Thinking and Cybernetics.V. M. Glushkov - 1964 - Russian Studies in Philosophy 2 (4):3-13.
Logika i logicheskai︠a︡ semantika: sbornik trudov.Gottlob Frege - 2000 - Moskva: Aspekt press. Edited by B. V. Biri︠u︡kov.
F. I. Andon. Ob odnom podhodé k minimizacii sistém bulévyh funkcij . Kibérnétika , no. 5 , pp. 44–48. - F. I. Andon. Algoritm uproščéniá d.n.f. bulévyh funckij . Kibérnétika , no. 6 , pp. 12–14. [REVIEW]Á Ádám - 1970 - Journal of Symbolic Logic 35 (2):330.
Cybernetics and the transition from classical to trans-classical logic.Gotthard Günther - 1965 - [Urbana,: Biological Computer Laboratory, University of Illinois.
Mirkin B. G.. Novyj algoritm postroéniá bazisa v ázyké régularnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, Téchničeskaá Kibérnétika, no. 5 , pp. 113–119.Mirkin B. G.. An algorithm for constructing a base in a language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 5 , pp. 110–116. [REVIEW]J. A. Brzozowski - 1971 - Journal of Symbolic Logic 36 (4):694-694.
Issledovaniia Po Matematicheskoi Lingvistike, Matematicheskoi Logike I Informatsionnym Iazykam Sbornik Statei.D. A. Bochvar & Iu A. Shreider - 1972 - "Nauka,".
M. A. Spivak. Algoritm abstraktnogo sintéza avtomatov dla rasširènnogo ázyka régulàrnyh vyražénij. Izvéstiá Akadémii Nauk SSSR, téhničéskaá kibérnétika, no. 1 , pp. 51–57. - M. A. Spivak. Algorithm for abstract synthesis of automata for an expanded language of regular expressions. English translation of the preceding. Engineering cybernetics, no. 1 , pp. 43–49. [REVIEW]J. A. Brzozowski - 1972 - Journal of Symbolic Logic 37 (3):620-620.
Ocherki istorii prikladnoĭ logiki: monografii︠a︡.V. I. Levin - 2007 - Penza: Penzenskai︠a︡ gos. tekhnologicheskai︠a︡ akademii︠a︡.
Prikladnye aspekty matematicheskoĭ logiki: sbornik nauchnykh trudov.I︠U︡. L. Ershov & S. S. Goncharov (eds.) - 1987 - Novosibirsk: Akademii︠a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki.
Kratkiĭ ocherk istorii obshcheĭ i matematicheskoĭ logiki v Rossii.N. I. Stiazhkin & V. D. Silakov - 1962 - Moskva, Vysshai︠a︡ shkola,: Vysshaia Shkola. Edited by V. D. Silakov.
Logica Ludicra: aspekty teoretiko-igrovoĭ semantiki i pragmatiki.V. L. Vasi︠u︡kov - 2014 - Sankt-Peterburg: Aleteĭi︠a︡. Edited by E. G. Dragalina-Chernai︠a︡ & V. V. Dolgorukov.
Book Reviews. [REVIEW]Robin Smith, N. J. Green-Pedersen, David Holdcroft, Rezensiert von Peter Schroeder-Heister, Peter Loptson, Harold Hodes, Recensione di Corrado Mangione, P. M. Simons & G. J. Tee - 1984 - History and Philosophy of Logic 5 (2):233-263.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.

Analytics

Added to PP
2023-06-01

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references