Mate3044 : Matemātiskā loģika kopsavilkums

Kā nodot savas zināšanas datoriem un kā iemācīt tos izdarīt secinājumus un pierādīt teorēmas.

Informācija par kursu