Просмотр исходного текста страницы Третье издание «Прикладной логики» (Николай Непейвода, OSEDUCONF-2019)

;{{SpeakerInfo}}: {{Speaker|Николай Непейвода}}
<blockquote>
Издательство «Директ-медиа» выпускает в 20189 году третье, переработанное и дополненное издание учебного пособия «Прикладная логика». Книга дополнена четвёртой частью, посвящённой приложениям логики прежде всего в информатике. В частности, в ней впервые в монографической литературе на русском языке (и, возможно, в мире) даётся описание языка доказательного программирования AGDA и советы по программированию на нём.

Издание будет свободно доступно в электронной форме студентам и преподавателям вузов, научным работникам.

Если первый опыт взаимодействия будет удачным, предполагается издание там же давно ожидаемого «Системного и логического анализа» и монографии «Уроки конструктивизма: анализ достижений и неудач».

В выступлении будет представлена презентация по этим книгам.
</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=2021-08-31T18:33:11.895047|vimeo_plays=21|youtube_comments=0|youtube_plays=304}}