"úÁÐÉÓËÉ ÎÁÕÞÎÙÈ ÓÅÍÉÎÁÒÏ× ðïíé"

• ÷ÌÁÄÉÍÉÒÏ× á. á. ï ÓÒÁ×ÎÅÎÉÉ ÉÎÔÅÇÒÁÌÏ× äÁÒÂÕ É òÉÍÁÎÁ × ËÏÎÓÔÒÕËÔÉ×ÎÏÍ ÍÁÔÅÍÁÔÉÞÅÓËÏÍ ÁÎÁÌÉÚÅ.......7 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• ÷ÌÁÄÉÍÉÒÏ× á. á. ï ÏÄÎÏÊ ÔÅÏÒÅÍÅ ÎÅÐÒÅÒÙ×ÎÏÓÔÉ ÄÌÑ ËÏÎÓÔÒÕËÔÉ×ÎÙÈ ÆÕÎËÃÉÊ.......17 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• úÁÓÌÁ×ÓËÉÊ é. ä. òÁÓÛÉÒÅÎÎÁÑ ÎÅÞÅÔËÁÑ ËÏÎÓÔÒÕËÔÉ×ÎÁÑ ÌÏÇÉËÁ.......35 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• ëÁÒÌ í., íÏÒÏÚ â. ú. ï ÄÉÏÆÁÎÔÏ×ÏÍ ÐÒÅÄÓÔÁ×ÌÅÎÉÉ ÐÒÅÄÉËÁÔÁ ``ÄÏËÁÚÕÅÍÏÓÔØ''.......77 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• ëÏÓÏ×ÓËÉÊ î. ë. ðÏÌÉÎÏÍÉÁÌØÎÏ ÏÇÒÁÎÉÞÅÎÎÙÊ Ó×ÅÒÈÕ ÏÂß£Í ÉÚÍÅÎÅÎÉÊ ÐÒÏÇÒÁÍÍ ÎÁ RAM+BOOL ÄÌÑ ÄÏËÁÚÁÔÅÌØÓÔ×Á ÐÒÉÎÁÄÌÅÖÎÏÓÔÉ FP.......105 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• ïÒÅ×ËÏ× ÷. ð. ðÒÁ×ÉÌÏ ÓÅÞÅÎÉÑ × ÍÅÔÏÄÅ ÒÅÚÏÌÀÃÉÊ.......111 áÎÎÏÔÁÃÉÑ ðÏÌÎÙÊ ÔÅËÓÔ(.pdf)
• òÅÆÅÒÁÔÙ ....... 129 (.pdf)

---


Contents 
• Vladimirov A. A. On a comparison of Darboux and Riemann integrals in constructive analysis.......7
• Vladimirov A. A. On some continuity theorem for constructive functions.......17
• Zaslavsky I. D. Extended fuzzy constructive logic.......35
• Carl M., Moroz B. Z. On a Diophantine representation of the predicate of provability.......77
• Kosovskiy N. K. Polynomial upper bounds of RAM+BOOL program size of changes for the proof of belonging to FP.......105
• Orevkov V. P. Cut for resolution method.......111
• Reviews ....... 129

---

Paging: 131 pp.

• ---

  Back to the Petersburg Department of Steklov Institute of Mathematics