Methodical Peculiarities of the Use of Shannon’s Decomposition in the Course of Mathematical Logic

Authors

  • S. F. Tyurin Perm National Research Polytechnic University
  • Y. A. Alyaev Russian Presidential Academy of National Economy and Public Administration (Perm branch)

Keywords:

switching function, Shannon’s decomposition, resolution

Abstract

The article proposes simple methods of Shannon’s decomposition for the classes of the Mathematical Logic course. The Truth table of the switching (Boolean, logic) function is divided into halves by the required variable, then functions of n-1 variable and corresponding formula are obtained. The article also proposes methods of proof of non-clausal resolution rule using Shannon’s decomposition.

Author Biographies

S. F. Tyurin, Perm National Research Polytechnic University

DSc in Engineering, Professor

Y. A. Alyaev, Russian Presidential Academy of National Economy and Public Administration (Perm branch)

PhD in Engineering, Associate Professor

References

Новиков Ф. А. Дискретная математика для программиста. - СПб. : Питер, 2001. - 502 с.

Аляев Ю. А., Тюрин С. Ф. Дискретная математика и математическая логика. - М. : Финансы и статистика, 2006. - 357 с.

Тюрин С. Ф., Аляев Ю. А. Дискретная математика: практическая дискретная математика и математическая логика. - М. : Финансы и статистика, 2010. - 394 с.

Тюрин С. Ф., Ланцов В. М. Дискретная математика & математическая логика : учеб. пособие. - Пермь : Изд-во ПНИПУ, 2013. - 271 с.

Логический подход к искусственному интеллекту / А. Тей, П. Грибомон [и др.]. - М. : Мир, 1990. - 432 с.

Кузнецов О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. - М. : Энергоатомиздат, 1988. - 450 с.

Downloads

Published

15.06.2014

How to Cite

Tyurin С. Ф., & Alyaev Ю. А. (2014). Methodical Peculiarities of the Use of Shannon’s Decomposition in the Course of Mathematical Logic. Vestnik IzhGTU Imeni M.T. Kalashnikova, (2), 179–181. Retrieved from https://izdat.istu.ru/index.php/vestnik/article/view/2941

Issue

No. 2 (2014)

Section

Articles