Nie każda uczelnia i nie każdy kierunek ma wykupiony abonament Dreamspark (nie ma już MSDNA). Każdy student może jednak kupić Windowsa 8.1 Pro za 249 złotych poprzez sklep MS Store. Normalnie ten system kosztuje 1199 zł. Znajdz jakiś fajny laptop w cenie ok 1500 zł (są już fajne modele Lenovo z i3) i dokup windowsa. Chyba że zależy ci żeby mieć na laptopie preinstalowany system. Moim zdaniem jednak lepiej mieć windowsa ze sklepu MS, bo możesz go przenosić między dowolnymi komputerami, a nie jest przywiązany do laptopa na zawsze jak preinstalowany OEM. Poza tym w cenie jaka Cię interesuje żaden laptop nie będzie mieć windowsa w wersji Pro tylko w podstawowej.
Tutaj masz przykładowego lapka Lenovo z i3 2.4 Ghz 1 TB dyskiem, grafiką Radeon R5 M230 mocniejszą od tej w obydwu wybranych przez Ciebie laptopach w cenie 1449 zł:
http://www.x-kom.pl/p/184617-notebook-laptop-15-6-lenovo-g510-i3-4000m-4gb-1000-dvd-rw-r5-m230.html
do tego system Win 8.1 Pro za 249 i mieścisz się idealnie w budżecie:
http://www.microsoftstore.com/store/mseea1/pl_PL/pdp/Windows-8.1-Pro-Student/productID.288683400