«ДƏЛЕЛДЕУ» ҰҒЫМЫНЫҢ КЕЙБІР ЕРЕКШЕЛІКТЕРІ
| dc.contributor.author | Жетпісов, Қ. | |
| dc.date.accessioned | 2020-02-27T07:25:30Z | |
| dc.date.available | 2020-02-27T07:25:30Z | |
| dc.date.issued | 2009 | |
| dc.description.abstract | В статье рассматривается связь между понятиями «полная система связок» и «доказатель- ство формулы с помощью гипотез», т.е. связь между семантикой и синтаксисом. Показана методика построения доказательства формулы с помощью производных правила вывода. It is considered connection between notion “complete of connectives” and notion “proving of formula from hypothesis”, i.e. connection between semantics and syntax. In is showed method of proving of formula from derived rules of derivation. | ru_RU |
| dc.identifier.citation | Жетпісов Қ. «ДƏЛЕЛДЕУ» ҰҒЫМЫНЫҢ КЕЙБІР ЕРЕКШЕЛІКТЕРІ /Қ.Жетпісов //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2009.-№1.-Р.21-26 | ru_RU |
| dc.identifier.issn | 0142-0843 | |
| dc.identifier.uri | https://rep.buketov.edu.kz//handle/data/9462 | |
| dc.language.iso | en | ru_RU |
| dc.publisher | Қарму басп. | ru_RU |
| dc.relation.ispartofseries | Қарағанды универисетінің хабаршысы. Математика сериясы;№2(54)/2009 | |
| dc.title | «ДƏЛЕЛДЕУ» ҰҒЫМЫНЫҢ КЕЙБІР ЕРЕКШЕЛІКТЕРІ | ru_RU |
| dc.type | Article | ru_RU |