**Հաշիվ** որոշակի նշաններով, խստիվ սահմանված կանոններով գործողություններ կատարելու ձևական ապարատ, որն օգտագործվում է այդ նշանների լեզվով ձևակերպված խնդիրների արդյունավետ լուծման համար։ Հաշիվի գաղափարը հատուկ է մաթեմատիկային ի սկզբանե, օրինակ, թվաբանությունը՝ որպես թվանշաններով, որոշակի կանոններով կատարվող գործողությունների համակարգ, տարրական հանրահաշիվը՝ որպես «տառային» հաշիվ, դիֆերենցիալ ու ինտեգրալ հաշիվները, վարիացիոն հաշիվ և այլն։ Առաջինը Գ. Լայբնիցն է փորձել հաշվի գաղափարը դուրս բերել մաթեմատիկայի ոլորտից և որպես հաշիվ ներկայացնել տրամաբանությունը (և ընդհանրապես մտածողության պրոցեսը)։ Սակայն միայն վերջերս, մաթեմատիկայի տրամաբանության զարգացման և դրա հետ կապված բազմապիսի հաշիվների (ասույթների, դասերի, պրեդիկատների և այլն) առաջացման հետևանքով, խնդիր դրվեց ստեղծել հաշիվների ընդհանուր տեսություն և ճշգրտել Հաշվի գաղափարը։ Եթե՛ հաշիվ համալրվում է որոշ մեկնաբանությամբ, այն կոչվում է ձևայնացված չեզու։ Որպես Հաշվի հոմանիշ հաճախ գործածվում են «ձևական համակարգ», «տրամաբանական համակարգ», «ֆորմալիզմ», «ձևական տեսություն» և այլ տերմիններ։

Հաշվի ներկայացման ձևերը
-----------------------

1. տրվում է նշանների (տառերի) այբուբենը (վերջավոր կամ անվերջ), որից որոշակի կանոններով կազմվում են բանաձևեր (բառեր), 
2. այդ բանաձևերից մի քանիսը հայտարարվում են աքսիոմներ, 
3. տրվում են փոխակերպման (տարածման) որոշակի կանոններ, որոնց օգնությամբ աքսիոմներից արտածվում են նոր բանաձևեր՝ թեորեմներ։

Եթե՛ հաշիվ համալրվում է որոշ մեկնաբանությամբ, այն կոչվում է ձևայնացված չեզու։ Որպես Հաշվի հոմանիշ հաճախ գործածվում են «ձևական համակարգ», «տրամաբանական համակարգ», «ֆորմալիզմ», «ձևական տեսություն» և այլ տերմիններ։

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * դ
* ք
* խ
Մաթեմատիկայի ճյուղեր |
| --- |
|  |
| Հիմունքներ | 
* Կատեգորիաների տեսություն
* Ինֆորմացիայի տեսություն
* Մաթեմատիկական տրամաբանություն
* Մաթեմատիկայի փիլիսոփայություն
* Բազմությունների տեսություն

 |
|  |
| Հանրահաշիվ | 
* Աբստրակտ
* Տարրական
* Գծային
* Բազմագծային

 |
|  |
| Անալիզ | 
* Calculus
* Իրական անալիզ
* Կոմպլեքս անալիզ
* Դիֆերենցիալ հավասարումներ
* Ֆունկցիոնալ անալիզ

 |
|  |
| Դիսկրետ | 
* Կոմբինատորիկա
* Գրաֆների տեսություն
* Կարգերի տեսություն
* Խաղերի տեսություն

 |
|  |
| Երկրաչափություն | 
* Հանրահաշվական
* Անալիտիկ
* Դիֆերենցիալ
* Դիսկրետ
* Էվկլիդեսյան
* Վերջավոր

 |
|  |
| Թվերի տեսություն | 
* Թվաբանություն
* Հանրահաշվական թվերի տեսություն
* Անալիտիկ թվերի տեսություն
* Դիոֆանտյան երկրաչափություն

 |
|  |
| Տոպոլոգիա | 
* Հանրահաշվական
* Դիֆերենցիալ
* Երկրաչափական

 |
|  |
| Կիրառական | 
* Կառավարման տեսություն
* Մաթեմատիկական տնտեսագիտություն
* Մաթեմատիկական ֆինանսներ
* Մաթեմատիկական ֆիզիկա
* Մաթեմատիկական վիճակագրություն
* Հավանականությունների տեսություն
* Վիճակագրություն

 |
|  |
| Հաշվողական | 
* Ինֆորմատիկա
* Theory of computation
* Թվային մեթոդներ
* Օպտիմիզացիա
* Computer algebra

 |
|  |
| Այլ | 
* Մաթեմատիկայի պատմություն
* Ժամանցային մաթեմատիկա
* Մաթեմատիկա և արվեստ
* Մաթեմատիկայի ուսուցում

 |
|  |
| 
* Category **Կատեգորիա**
* Commons page**Վիքիպահեստ**

 |

 |


|  |
| --- |
| *Այս հոդվածի կամ նրա բաժնի որոշակի հատվածի սկզբնական կամ ներկայիս տարբերակը վերցված է Քրիեյթիվ Քոմմոնս Նշում–Համանման տարածում 3.0 (Creative Commons BY-SA 3.0) ազատ թույլատրագրով թողարկված Հայկական սովետական հանրագիտարանից  (հ․ 6, էջ 238)։*  |