Третье издание «Прикладной логики» (Николай Непейвода, OSEDUCONF-2019) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
(не показано 14 промежуточных версий этого же участника) | |||
…будет свободно доступно в электронной форме студентам и преподавателям вузов, научным работникам. Если первый опыт взаимодействия будет удачным, предполагается издание там же давно ожидаемого «Системного и логического анализа» и монографии «Уроки конструктивизма: анализ достижений и неудач». В выступлении будет представлена презентация по этим книгам. </blockquote> {{VideoSection}} {{vimeoembed|315021421|800|450}} {{youtubelink|}} |t-VsYE9GTnA}} {{SlidesSection}} [[File:Третье издание «Прикладной логики» (Николай Непейвода, OSEDUCONF-2019).pdf|left|page=-|300px]] {{----}} == Thesis == {{----}} [[File:{{#setmainimage:Третье издание «Прикладной логики» (Николай Непейвода, OSEDUCONF-2019)!.jpg}}|center|640px]] {{LinksSection}} <!-- <blockquote>[©]</blockquote> --> {{vklink|1393}} <references/> [[Категория:OSEDUCONF-2019]] [[Категория:IT-образование]] {{stats|disqus_comments=0|refresh_time=2019-02-26T19:2021-08-31T18:33:11.895047:30.277348|vimeo_plays=4|21|youtube_comments=0|youtube_plays=0}}304}} |
Текущая версия на 15:33, 31 августа 2021
- Докладчик
- Николай Непейвода
Издательство «Директ-медиа» выпускает в 20189 году третье, переработанное и дополненное издание учебного пособия «Прикладная логика». Книга дополнена четвёртой частью, посвящённой приложениям логики прежде всего в информатике. В частности, в ней впервые в монографической литературе на русском языке (и, возможно, в мире) даётся описание языка доказательного программирования AGDA и советы по программированию на нём.
Издание будет свободно доступно в электронной форме студентам и преподавателям вузов, научным работникам.
Если первый опыт взаимодействия будет удачным, предполагается издание там же давно ожидаемого «Системного и логического анализа» и монографии «Уроки конструктивизма: анализ достижений и неудач».
В выступлении будет представлена презентация по этим книгам.
Содержание
Видео
Презентация
Thesis
Примечания и ссылки
Plays:325 Comments:0