Бидний тухай
Багш ажилтан
Матриц, түүн дээр хийх үйлдлүүд, матрицын тодорхойлогч, тодорхойлогчийг бодох аргууд, шугаман тэгшитгэлийн систем, түүнийг бодох аргууд, матрицын хувийн утга, хувийн вектор, тэдгээрийн хэрэглээ, хавтгайн аналитик геометрын үндсэн элементүүд, хоёрдугаар эрэмбийн мурийнууд, тэдгээрийн хэрэглээ, огторгуйн координатын систем, вектор, түүн дээр хийх үйлдлүүд, олонлог, түүн дээр хийх үйлдлүүд, функц, тоон дараалал ба дарааллын хязгаар, функцийн хязгаар ба тасралтгүй чанар, функцийн уламжлал ба дифференциал,тэдгээрийн хэрэглээ, дифференциал тооллын үндсэн чанарууд, функцийн экстремум,функцийг шинжилж графикийг байгуулах, эх функц, тодорхой биш интеграл ба түүний чанарууд, тодорхой биш интегралыг бодох аргууд, тодорхой интегралын тодорхойлолт, тодорхой интегралыг бодох Ньютон-Лейбницийн томъёо, тодорхой интегралын хэрэглээ, математикийн хэрэглээ
Энэхүү хичээл нь Нийгэм, хүмүүнлэг, хууль, эрх зүйн шинжлэх ухааны салбарт суралцаж амжилт гаргахад дэмжлэг болох математикийн суурь мэдлэгийн үндсийг өгөх, математик сэтгэлгээг хөгжүүлэх, математикийн гоо сайхан болон хэрэглээг таниулах зорилготой. Энэ хичээлээр ерөнхий боловсролын сургуульд үздэг нэг хувьсагчийн функцийн дифференциал болон интеграл тоолол, аналитик геометрын ойлголтуудыг дэлгэрүүлж, хоорондын уялдаа холбоог илүү тодруулж, практик хэрэглээний олон жишээний хамтаар үзнэ.
Энэ хичээлд машин сургалтын суурь онол, алгоритм болон хэрэглээг нарийвчлан тайлбарлана.
Энэ хичээл нь хиймэл оюун ухааны үндсэн онолыг математикийн шинжлэх ухаан дээр тулгуурлан ул суурьтайгаар эзэмшүүлэх зорилготой. Энэхүү хичээлийг судалснаар оюутнууд хиймэл оюун ухааны үндсэн алгоритмуудыг хөгжүүлэх чадвартай болно.
Хичээлийг гурван үндсэн хэсэгт хувааж болно. Эхний хэсэгт бүх логик системийн үндэс болсон хэллэгийн логиктой танилцуулна. Дараа нь тооцоологдохуйн онолын хамгийн суурь ойлголтуудтай танилцуулна. Энэ хүрээнд Турингын машин болон бусад загварын тухай ул суурьтай үзэх ба эдгээр суурь ойлголтуудын харилцан хамаарлын тухай зарим чухал теоремуудыг батална. Хичээлийн сүүлийн хэсэгт хүндрэлийн онолын элементүүдийг үзэж судална. Энэ хүрээнд аливаа бодлогын хүндрэлийг тогтоох үндсэн шалгууруудтай танилцаж, хүндрэлийн үндсэн ангиуд болох P, NP-ийн тухай ойлголттой болно. Улмаар сонгодог бодлогуудын хүндрэлийн шинжилгээг хийж сурна.
20-р зуунд үүсэж хөгжсөн мэдээллийн технологи болох компьютерын математик үндсийг танилцуулах үүнтэй холбоотой асуудлуудын талаар системтэй мэдлэг олгох. Эдгээр асуудлуудыг математикийн сонгодог салбар болох логикийн үүднээс авч үзэн, нэг талаас логикийн ач холбогдлыг ойлгуулж нөгөө талаас компьютерийн уг үндэст нэвтрэх.
Хичээлийг гурван үндсэн хэсэгт хувааж болно. Эхний хэсэгт бүх логик системийн үндэс болсон хэллэгийн логиктой танилцуулна. Тэр дундаа хэллэгийн логикийн синтакс болон семантиксийг тодорхой үзэж, түүний математик томъёололтой ажиллах чадварыг суулгана. Мөн энд сурсан мэдлэгээ логик бодлого бодоход ашиглах ба PROLOG (програмчлалын хэл) дээр ажиллах эхний алхамд суралцана. Улмаар хэллэгийн логик системийн гүйцэд, зөрчилгүй болон компакт байх гэсэн үндсэн гурван чанарыг батална. Дараа нь тооцоологдохуйн онолын хамгийн суурь ойлголтуудтай танилцуулна. Энэ хүрээнд Турингын машин, төгсгөлөг автомат болон рекурсив функцийн тухай ул суурьтай үзэх ба эдгээр суурь ойлголтуудын харилцан хамаарлын тухай зарим чухал теоремуудыг батална. Хичээлийн сүүлийн хэсэгт хүндрэлийн онолын элементүүдийг үзэж судална. Энэ хүрээнд аливаа бодлогын хүндрэлийг тогтоох үндсэн шалгууруудтай танилцаж, хүндрэлийн үндсэн ангиуд болох P, NP-ийн тухай ойлголттой болно. Улмаар сонгодог бодлогуудын хүндрэлийн шинжилгээг хийж сурна.
20-р зуунд үүсэж хөгжсөн мэдээллийн технологи буюу компьютертэй холбогдоx математик асуудлуудтай танилцуулж, тэдний талаар ул суурьтай мэдлэг олгох. Эдгээр асуудлуудыг математикийн сонгодог салбар болох логикийн үүднээс авч үзэн, нэг талаас логикийн ач холбогдлыг ойлгуулж нөгөө талаас компьютерийн уг үндэст нэвтрэх.
Янз бүрийн төрлийн төгсгөлөг олонлогийн байрлалуудыг дугаарлах, замын систем, химийн молекулууд, шалгалтын хуваарь зэргийг графын онолын аргууд ашиглан загварчлах, туршилтын үр дүнг блок дизайн ашиглан загварчлах Англиар: Enumeration, the study of counting arrangements of various types. Graph theory can be used to model a variety of situations road systems, chemical molecules, timetables for examinations. Configurations or arrangements
Төгсгөлөг олонлогийн элементийн тоог комбинаторикийн онолын үүднээс тоолох, төгсгөлөг олонлогийн загвар байгуулах
