An introduction to the algebraic theory of semirings, including a treatment of some applications in theoretical computer science. The focus is on the general concepts and statements of the algebraic theory of semirings and aspects of theory needed for the aforementioned applications.