| April 15, Wednesday, 16.20 |
| Department of Mathematical Cybernetics |
| II educational building, 5th floor, aud. 526B |
| 1 |
Verification of multi-affinity of polynomials over a finite field. |
| Report by Selezneva S.N. (professor) |
| 2 |
On some fragments of the lattice of closed classes in partial k-valued logic. |
| Report by Alekseev V.B. (professor) |
| 3 |
New, more accurate estimates of the Shannon function for the complexity of contact circuits from undirected contacts. |
| Report by Lozhkin S.A. (professor) and Danilov B.R. (researcher) |
| 4 |
New more accurate estimates of the complexity of implementing multiplexer functions in the class of contact circuits from non-oriented contacts. |
| Report by Lozhkin S.A. (professor) and Khzmalyan D.E. (student, 1st course of magistracy) |
| 5 |
Addition of “long” ternary numbers in the binary number system. |
| Report by Ramil Alvarez H. (leading researcher) |
| 6 |
An example of the application of an algebraic system of reasoning based on symmetric inference. |
| Report by Vladimirova Yu.S. (senior researcher) |