Օբյեկտ

Վերնագիր: Математическая дедукция в компьютерный век

Ստեղծողը:

Г. А. Тоноян

Տեսակ:

article

Ամսագրի կամ հրապարակման վերնագիր:

Լրաբեր հասարակական գիտությունների =Herald of the Social Sciences

Հրապարակման ամսաթիվ:

1989

Հատոր:

vol. 10

Համար:

10

ISSN:

0320-8117

Այլ վերնագիր:

Մաթեմատիկական դեդուկցիան կոմպյուտերային դարում։ Mathematical deduction in the computer age.

Ծածկույթ:

37-47

Ամփոփում:

Վերջին տասնամյակում մաթեմատիկայում օգտագործվող «մեքենայական» մեթոդները, մաթեմատիկական ապացուցումների խստությունը որոշ կասկածների է ենթարկվել։ Արդի պայմաններում նորովի է դրվում մաթեմատիկական գիտության կարգավիճակը (ստատուս) գիտությունների ընդհանուր համակարգում։ During the last decade the „mechanical" methods employed in mathematics have put the exactness of mathematical demonstrations under suspicion. Under modern conditions the status of the mathematical science is set anew in the general system of sciences.

Հրատարակիչ:

Հայկական ԽՍՀ գիտությունների ակադեմիա

Ստեղծման ամսաթիվը:

1989-12-21

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:37336

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Feb 1, 2021

Մեր գրադարանում է սկսած:

Mar 3, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

2

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/41686

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Математическая дедукция в компьютерный век Feb 1, 2021

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն