Цахим шуудангийн бүртгэл: Применение логики в науке и технике