Logičeskije metody proverki kombinacionnych avtomatov.

Teorija diskretnych avtomatov.

Logičeskije metody issledovanija diskretnych modelej vybora /

Sintez diskretnych avtomatov i upravľajuščich ustrojstv.

Logičeskoje projektirovanije diskretnych ustrojstv /

Projektirovanije diskretnych sistem avtomatiki /

Algoritmy sinteza avtomatov na programmirujemych matricach /

Projektirovanije gruppovych naladok tokarnych avtomatov.

Algoritmy i algoritmičeskije jazyki. Vypusk 2. /

Algoritmy i algoritmičeskije jazyki. Vypusk 3.

Logičeskije metody analiza naučnogo znanija /

Algoritmy i algoritmičeskije jazyki.

Logičeskije metody analiza i sinteza schem /

Logičeskij vyvod.

Rasčet i projektirovanije diskretnych sistem upravlenija.

Algoritmy projektirovanije schem mechanizmov.

Logičeskije metody analiza geologičeskoj informacii.

Projektirovanije informacionnych sistem dľa diskretnych techologičeskich processov /

Logičeskije avtomaty i mikromoduli /

Logičeskije igry s kal´kuljatorom /

Theorie reléových kontaktových schemat /

Logičeskije projektirovanije diskretnych avtomatov. Jazyki, metody, algoritmy.