The aim of the article is to highlight, summarise and evaluate contribution Professor Taisiia Kivshar development bibliological science education in Ukraine, her pedagogical social activities, based on a critical analysis professional publications. research methodology involves use tools socio-communicative, systematic, historical-genetic approaches, which made it possible determine complex fac...

Where dual-numbers forward-mode automatic differentiation (AD) pairs each scalar value with its tangent value, /reverse-mode/ AD attempts to achieve reverse using a similarly simple idea: by pairing backpropagator function. Its correctness and efficiency on higher-order input languages have been analysed Brunel, Mazza Pagani, but this analysis used custom operational semantics for which it is u...