Lättdator till universitetet(ca 12000)

Tja.
Ska börja studera civilingenjör i data eller maskin till hösten och tänkte köpa en laptop som jag kommer använda i skolan . För jag har en gaming dator som jag tänkte ha i lägenheten. Så jag behöver ingen värstingmaskin.
Har kollat på :
Dell xps 13
Microsoft surface pro
Asus ux 303
Lenovo thinkpad yoga 12 inch
Har kollat lite i andra trådar och blev intreserad av att ha en stylus för antänknigar och undrar om det är något att ha?
En alternativ skulle vara att ha en Macbook men vet inte hur det passar med de program man ska använda.
Kommer man behöva en krafullar dator som skoldator?
Budget runt 12000kr
Krav: fullhd skärm
Batteri tid 5timmar +