- Заглавие: ЛОГИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ
- Год актуализации: 2013
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
ЛОГИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ [Языки программирования: Уч. пос./О.Л.Голицына - 3 изд. - М.: Форум: НИЦ ИНФРА-М, 2017-400с.(ПО) (п) ISBN:978-5-91
- Источник публикации: Языки программирования: справочник
- Фрагмент статьи: ЛОГИЧЕСКИЕ ОСНОВЫ ПРОГРАММИРОВАНИЯ Начало исследований в области формальной логики было поло- жено работами Аристотеля в IV в. до нашей эры. Однако матема- тические подходы к этим вопросам впервые были указаны Дж. Бу- лем. В честь него алгебру высказывания называют бул е в о й ( б у л е в с к о й ) а л г е б р о й , алогические значения – б у - л е в ы м и ( б у л е в с к и м и ) . Основу математической ло- гики составляет алгебру высказываний. Алгебра логики использу- ется
