Please use this identifier to cite or link to this item:
http://essuir.sumdu.edu.ua/handle/123456789/823
Or use following links to share this resource in social networks:
Tweet
Recommend this item
Title | Теорія програмування |
Authors |
Babii, Mykhailo Semenovych
![]() Chekalov, Oleksandr Petrovych |
ORCID |
http://orcid.org/0000-0002-2925-857X |
Keywords |
програмування программирование |
Type | Schoolbook |
Date of Issue | 2008 |
URI | http://essuir.sumdu.edu.ua/handle/123456789/823 |
Publisher | Видавництво СумДУ |
License | |
Citation | Бабій, М.С. Теорія програмування [Текст] : навч. посіб. / М.С. Бабій, О.П. Чекалов. - Суми : СумДУ, 2008. - 181 с. + Гриф МОН |
Abstract |
Навчальний посібник є вступом до теорії програмування і містить основи формальних мов і граматик, огляд регулярних, контекстовільних і контекстозалежних мов. Показано зв’язок граматик з автоматами і методи перетворень автоматів. Наводяться основи синтаксичного аналізу програм, у тому числі LR-аналізу. Розглянуто методології програмування: імперативну, об’єктно-орієнтовану, функціональну і логічну. Даються основи типізації даних із сучасної точки зору, розглядаються способи верифікації програм. Опис супроводжується прикладами.
Навчальний посібник призначений для студентів спеціальності „Інформатика”, а також може бути корисним для спеціалістів у галузі інформатики і прикладної математики.
При цитуванні документа, використовуйте посилання http://essuir.sumdu.edu.ua/handle/123456789/823 |
Appears in Collections: |
Навчальні та наукові видання видавництва СумДУ |
Views
![Argentina](/flags/ar.gif)
1
![Canada](/flags/ca.gif)
1
![China](/flags/cn.gif)
3
![Denmark](/flags/dk.gif)
1
![EU](/flags/eu.gif)
7
![France](/flags/fr.gif)
1671639
![Georgia](/flags/ge.gif)
1
![Germany](/flags/de.gif)
-1430443927
![Hungary](/flags/hu.gif)
1
![Iran](/flags/ir.gif)
3
![Ireland](/flags/ie.gif)
54093
![Italy](/flags/it.gif)
290554067
![Kazakhstan](/flags/kz.gif)
1
![Lithuania](/flags/lt.gif)
1
![Moldova](/flags/md.gif)
1
![Netherlands](/flags/nl.gif)
1671645
![Norway](/flags/no.gif)
5
![Poland](/flags/pl.gif)
118683717
![Russia](/flags/ru.gif)
53
![Singapore](/flags/sg.gif)
1
![Slovakia](/flags/sk.gif)
1
![Spain](/flags/es.gif)
1
![Sweden](/flags/se.gif)
1
![Turkey](/flags/tr.gif)
88743
![Ukraine](/flags/ua.gif)
290554066
![United Kingdom](/flags/gb.gif)
191520
![United States](/flags/us.gif)
-2134292223
![Unknown Country](/flags/--.gif)
182577
![Uzbekistan](/flags/uz.gif)
164640
Downloads
![France](/flags/fr.gif)
3
![Germany](/flags/de.gif)
1530
![Ireland](/flags/ie.gif)
1
![Russia](/flags/ru.gif)
1
![Ukraine](/flags/ua.gif)
65497086
![United Kingdom](/flags/gb.gif)
34072
![United States](/flags/us.gif)
658049877
![Unknown Country](/flags/--.gif)
820880952
![Uzbekistan](/flags/uz.gif)
1
Files
File | Size | Format | Downloads |
---|---|---|---|
babij.rar | 456,88 kB | Unknown | 1544463523 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.