In memory of Nikolai Makarovich Nagornyi (1928–2007)

M. K. Kerimov

Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 48 (2008) no. 6, pp. 1140-1144

Bibliographie

[1] “K usileniyu teoremy privedeniya teorii algorifmov”, Dokl. AN SSSR, 90:3 (1953), 341–342 | Zbl

[2] Herac I., Vnedrenie elektronnykh avtomaticheskikh vychislitelnykh mashin v upravlenie promyshlennymi predpriyatiyami, Izd-vo inostr. lit., M., 1953, 255 pp., Perev. s cheshskogo

[3] “O nekotorykh obobscheniyakh ponyatiya normalnogo algorifma”, Tr. III Vses. matem. s'ezda, v. 2, Izd-vo AN SSSR, M., 1956, 147

[4] “Nekotorye obobscheniya ponyatiya normalnogo algorifma”, Tr. MIAN SSSR, 52, M., 1958, 7–65

[5] “O minimalnom alfavite algorifmov nad dannym alfavitom”, Tr. MIAN SSSR, 52, M., 1958, 66–74

[6] “Primer gruppy s nerekursivnym tsentrom”, Z. Math. Logik und Grundl. Math., 4:1 (1958), 304–308 | DOI | MR | Zbl

[7] “O razyskanii izomorfizmov assotsiativnykh ischislenii”, Z. Math. Logik und Grundl. Math., 6:3–4 (1960), 319–324 | MR

[8] “O realizatsii funktsii v alfavitakh algorifmami nekotorykh klassov”, Dokl. AN SSSR, 140:1 (1961), 52–55 | Zbl

[9] “Printsipy organizatsii i ispolzovaniya biblioteki programm”, Vychisl. matem., 7, Izd-vo AN SSSR, M., 1961, 161–169 (with G. I. Kozhukhinym, I. V. Pottosinym)

[10] Sistema komand universalnoi tsifrovoi avtomaticheskoi mashiny BESM-2 Vychislitelnogo tsentra AN SSSR, Izd-vo VTs AN SSSR, M., 1961 (with V. A. Magarikom), 88 pp.

[11] “Ob algorifmakh dlya resheniya nekotorykh optimizatsionnykh zadach”, Materialy k konf. po opytu i perspektivam primeneniya matem. metodov i EVM v planirovanii, Novosibirsk, 1962, 3

[12] “Andrei Andreevich Markov (k shestidesyatiletiyu so dnya rozhdeniya)”, Uspekhi matem. nauk, 19:3 (1964), 207–223 (with H. A. Shaninym) ; A. A. Марков, Избранные труды, т. II, Изд-во МЦНМ, М., 2003, 578–580 | MR

[13] “O realizuemykh i vospolnimykh logiko-arifmeticheskikh formulakh”, Dokl. AN SSSR, 157:3 (1964), 529–531

[14] Nekotorye voprosy teorii algorifmov i konstruktivnoi matematicheskoi logiki, Dis. $\dots$ kand. fiz.-matem. nauk, MIAN SSSR, M., 1965, 97 pp.

[15] “Ob odnom yazyke dlya opisaniya raboty vychislitelnykh mashin”, Probl. kibernetiki, 19, Fizmatgiz, M., 1967, 5–38 (with A. A. Markovym)

[16] “Matematika. Reshenie desyatoi problemy Gilberta”, Nauka i chelovechestvo. 1973. Mezhdunar. ezhegodnik, Znanie, M., 1972, 326–329

[17] “Ob otdelimosti po invariantam”, Issl. po teorii algoritmov i matem. logike, v. 1, Izd-vo VTs AN SSSR, M., 1973, 205–209

[18] “Andrei Andreevich Markov (k semidesyatiletiyu so dnya rozhdeniya)”, Uspekhi matem. nauk, 29:6 (1974), 187–191 (with A. G. Dragalinym, N. V. Petri, H. A. Shaninym) ; A. A. Марков, Избранные труды, т. II, Изд-во МЦНМО, М., 2003, 591–594

[19] “O nekotorykh sposobakh raboty sistem vzaimodeistvuyuschikh vychislitelnykh mashin”, Teoriya algorifmov i matem. logika, Izd-vo VTs AN SSSR, M., 1974, 127–142

[20] “Mezhdunarodnyi simpozium i letnyaya shkola “Matematicheskie osnovy informatiki””, Chekhoslovakiya, sent. 1973, Kibernetika, 1974, no. 2, 148–150 (with I. V. Anisimovym, D. N. Todoroem)

[21] “Über eine Abänderung des von S. G. Kleene einführten Realisierungsbegriffe”, Proc. V Internal Congr. Logic, Philos. and Methodology Sci. (Aug. 27 – Sept. 2), London, 1975, 31

[22] “Algorithms and real numbers”, Proc. 5th Symp. Math. Foundations of Comput. Sci. (Gdansk, Sep. 6–10, 1976), Springer, Berlin, 1976, 99–104

[23] “Ob odnom variante opredeleniya logiko-arifmeticheskoi formuly”, Issledovaniya po teorii algorifmov i matematicheskoi logike, Vyp. 2, Izd-vo VTs AN SSSR, M., 1976, 32–45

[24] “Normalnye algorifmy i yazyki pervogo poryadka”, Issl. po teorii algorifmov i matem. logike, Vyp. 2, Izd-vo VTs AN SSSR, M., 1976, 46–50

[25] “Algorithm as a basis for formulating constructive mathematical notions”, Algorithms Modern Math. and Comput. Sci., L.-N.: Comput. Sci. Proc. Ungench, Uzbek SSSR (Sept. 16–22, 1979), LNCS, 122, Springer, Berlin, 1981, 463 pp.

[26] “K probleme predstavimosti matrits”, VI Vses. konf. po matem. logike, Tbilisi, 1982, 124

[27] “Zum Problem der Darstellbarkeit von Matrizen”, Abstracts 7th Internat. Congress Logic, Methodol. and Philos. Sci., v. 1, Salzburg, 1983, 139–140

[28] “K probleme predstavimosti matrits”, Summer School on Math. Logic and its Appl., Primorskoe, 1983, 13–14

[29] “Formalnaya sistema dlya opisaniya semantiki lineino raspolozhennykh konstruktivnykh ob'ektov”, Semiotich. aspekty formalizatsii intellektualnoi deyatelnosti, Shkola-seminar “Telavi-83”, M., 1983, 97–98

[30] “Konstruktivnye protsessy i konstruktivnye ob'ekty v obschei arkhitekture matematicheskikh teorii”, Konstruktivnye protsessy, Tezisy dokl., Dom tekhn. NTO, Izhevsk, 1984, 27–29

[31] Teoriya algorifmov, Nauka, M., 1984 (with A. A. Markovym), 432 pp. | MR

[32] “Istoricheskii genezis konstruktivnoi ustanovki”, Semiotich. aspekty formalizatsii intellektualnoi deyatelnosti, Shkola-seminar “Kutaisi-85”, M., 1985, 214–216

[33] “Ob opyte izlozheniya teorii normalnykh algorifmov”, IV Vses. konf. “Primenenie metodov matem. logiki”, Tallin, 1986, 126–128

[34] “Sovremennye osnovaniya matematiki: voskhozhdenie k konstruktivnosti”, Zakonomernosti razvitiya sovrem., matem., Nauka, M., 1987, 212–219

[35] “On presentation of elementary semiotics”, Abstracts of 8th Internat. Congress Logic, Methodology and Philos. Sci. (Moscow, 1987), v. 5, M., 1987, 49–50

[36] “A. A. Markov. Chto takoe konstruktivnaya matematika. Publikatsiya i predislovie”, Zakonomernosti razvitiya sovrem. matem.: Metodologich. aspekty, Nauka, M., 1987, 209–212 | Zbl

[37] The theory of algorithms, Math. and its Applic. Soviet, Ser., 23, Kluwer Acad. Publ., Dordrecht etc., 1988 (with A. A. Markov), 369 pp. | Zbl

[38] “Perevod i predislovie k kn.”: F. Klein, Lektsii o razvitii matematiki v XIX stoletii, v. I, Nauka, M., 1989 (with M. M. Postnikovym), 454 pp.; “Дополнение”, 422–437

[39] “On the realizability of propositional formulas”, Logic Colloq., Berlin, 1989

[40] “Andrei Andreevich Markov (k devyanostoletiyu so dnya rozhdeniya)”, Izv. RAN. Ser. tekhn. kibernetika, 1993, no. 5, 10–19 ; A. A. Марков, Избранные труды, т. II, Изд-во МЦНМО, М., 2003, 595–602 | MR

[41] “Odna konstruktivnaya model klassicheskoi formalnoi arifmetiki”, Dokl. RAN, 332:1 (1993), 26–28 | Zbl

[42] “Andrei Markov and mathematical constructivism”, Proc. 9th Internat. Congress Logic, Methodology and Philos. Sci. (Uppsala, Aug. 7–14. 1991), Elsevier, Amsterdam, 1994, 467–479 | MR

[43] “Ob issledovatelskom proekte “Bibliografiya matematicheskoi logiki i smezhnykh oblastei” Otdeleniya matematicheskoi logiki Geidelbergskoi akademii nauk”, Zh. vychisl. matem. i matem. fiz., 35:2 (1995), 318–319 (with V. Lenski, M. M. Rikhterom)

[44] “K voprosu o neprotivorechivosti arifmetiki”, XI Mezhdunar. konf. “Logika, metodologiya i filosofskie nauki”, v. 1, Obninsk, 1995, 45–47

[45] “K voprosu o neprotivorechivosti klassicheskoi formalnoi arifmetiki”, Soobsch. po prikl. matem., Izd-vo VTs RAN, M., 1995, 25 | Zbl

[46] “Predislovie ko 2-mu izd. kn.”: A. A. Markov, N. M. Nagornyi, Teoriya algoritmov (Razmyshleniya i vospominaniya), Fazis, M., 1996, VII–XXXI; A. A. Марков, Избранные труды, т. II, Изд-во МЦНМО, М., 2003, 556–578

[47] Teoriya algorifmov, Izd. 2-e, ispr. i dop., Fazis, M., 1996 (with A. A. Markovym), 496 pp. | MR

[48] “K voprosu o neprotivorechivosti arifmetiki”, Mezhdunar. konf. “Smirnovskie chteniya”, M., 1997, 20–22

[49] “Kommentarii k kn.”: D. Gilbert, Izbrannye trudy, v. I i II, Faktorial, M., 1998, 562–570

[50] “Realizuemostnaya semantika rannego perioda markovskogo konstruktivizma (Itogi i problemy)”, II Mezhdunar. konf. “Smirnovskie chteniya”, M., 1999, 50–54

[51] “Realizuemostnaya semantika rannego perioda markovskogo konstruktivizma (Istoriya i problemy)”, Logich. issl., 7, Nauka, M., 2000, 61–71 | Zbl

[52] “Monolitno li ponyatie konechnogo mnozhestva? (Po povodu odnoi utrachennoi raboty A. A. Markova)”, III Mezhdunar. konf. “Smirnovskie chteniya”, M., 2001, 54–57

[53] “K voprosu o neprotivorechivosti klassicheskoi formalnoi arifmetiki”, Logich. issl., 8, Nauka, M., 2002, 105–128

[54] “Andrei Andreevich Markov i ego konstruktivnoe napravlenie v matematike”: A. A. Markov, Izbrannye trudy, v. I, Izd-vo MTsNMO, M., 2002, V–XLVIII

[55] “On oschuschal lichnuyu otvetstvennost za obschee sostoyanie v matematike. Andrei Andreevich Markov (1903–1979)”, Sudby tvortsov ros. nauki, Izd-vo URSS, M., 2002, 168–175

[56] “O vklade A.A. Markova v razvitie konstruktivnogo matematicheskogo analiza”: A. A. Markov, Izbrannye trudy, v. II, MTsIMO, M., 2003, 544–548 (with E. A. Kushnerom)

[57] “Ot sostavitelya”: A. A. Markov, Izbrannye trudy, v. II, Izd-vo MTsNMO, M., 2003, V–XII

[58] “K state A. A. Markova “O konstruktivnoi matematike””, Tr. Matem. in-ta AN SSSR, 67, M., 1962, 8–14 ; A. A. Марков, Избранные труды, т. II, Изд-во МЦНМО, М., 2003, 603–606 (совм. с В. А. Шурыгиным) | Zbl

[59] “K tsiklu rabot A. A. Markova po probleme TTsE”, V kn.: A. A. Markov, Izbrannye trudy, v. II, Izd-vo MTsNMO, M., 2003, 607–609

[60] “Monolitno li ponyatie konechnogo mnozhestva”, V kn.: A. A. Markov, Izbrannye trudy, v. II, Izd-vo MTsNMO, M., 2003, 527–534

[61] “Realizuemostnaya semantika rannego perioda Markovskogo konstruktivizma”, V kn.: A. A. Markov, Izbrannye trudy, v. II, Izd-vo MTsNMO, M., 2003, 535–543

[62] “Obzor rabot A. A. Markova i ego shkoly: slozhnostnyi metod v teorii algorifmov”, V kn.: A. A. Markov, Izbrannye trudy, v. II, Izd-vo MTsNMO, M., 2003, 549–555 (with M. N. Dombrovskim, V. A. Shuryginym)

[63] “Ot Kantora k Markovu: voskhozhdenie k konstruktivnosti (k 100-letiyu so dnya rozhdeniya A. A. Markova)”, IV Mezhdunar. konf. “Smirnovskie chteniya”, M., 2003, 50–54

[64] “Ot Kantora k Markovu: voskhozhdenie k konstruktivnosti (k 100-letiyu so dnya rozhdeniya A. A. Markova)”, Logich. issl., 10, Nauka, M., 2003, 128–133

[65] “Andrei Andreevich Markov (k stoletiyu so dnya rozhdeniya)”, Diskretnaya matem., 16:1 (2004), 3–8 (with M. M. Glukhovym) | MR

[66] “Dva peterburzhtsa (G. Kantor i A. A. Markov)”, Filosofiya i buduschee tsivilizatsii, Tezisy dokl. i vystuplenii IV Ros. filosofskogo kongr. (Moskva, 24–28 maya, 2005), v. 1, Sovrem. tetridy, M., 2005