dator – en dator är en maskin, en elektronisk enhet som har möjlighet att ta in en ingång (eller instruktioner), bearbeta denna uppsättning instruktioner, för att returnera ett värde eller en utgång.
en dator är uppdelad i två huvuddelar —
(a) maskinen; som inkluderar ledningar, transistorer, kretsar etc., (kallas även Maskinvarudelar),
(b) instruktioner och data — (kallas programvara)

en dator är ett verktyg som används i studien av datavetenskap.

algoritm: en algoritm hänvisar till en steg-för-steg-lista med instruktioner för att lösa en instans av ett problem. Algoritmer är ändliga processer och är lösningar i sig.

datavetenskap är studier av problem, problemlösning samt de lösningar som kommer ut ur en problemlösningsprocess., Det är lätt att anta att för varje problem måste det finnas en lösning; men enligt teorin om beräkning( TOC): inte alla problem har en lösning. Problem i datavetenskap kan antingen vara beräkningsbara eller icke-beräkningsbara.

beräkningsbara problem: Detta avser problem (eller funktioner) som, det finns en algoritm som beräknar ett svar(eller utdata) till någon instans av problemet i ett begränsat antal steg., Ett enkelt exempel är ökningen av heltal:

f(x) = x + 1

Icke-beräkningsbara problem: ett icke-beräkbart problem avser ett problem för vilket det inte finns någon algoritm som kan användas för att lösa det. Det mest kända exemplet på icke-beräkningsförmåga (eller obestämbarhet) är ”Stoppproblemet”.

datavetenskap kan därför sägas vara studier av beräkningsbara problem samt icke-beräkningsbara , förekomsten och icke-förekomsten av en algoritmisk inställning till ett problem.,

abstraktion i problemlösning:
abstraktion tillåter oss att se ett problem och en lösning på ett sådant sätt — som hjälper oss att separera logiskt och fysiskt perspektiv, t. ex. en halvfylld burk = 1/2

programmering:
programmering är processen att ta på en algoritm, koda den till en notation (ett programmeringsspråk) så att den kan utföras av en dator.

programmeringsspråk ger ett notationellt sätt att representera både kodningsprocessen och data, vilket ger en kontrollkonstruktion samt datatyper.,

Kontrollkonstruktion: detta gör att algoritmer kan representeras på ett bekvämt men entydigt sätt.

datatyp: ger tolkning för binära data (som datorn vanligtvis förstår) så att vi kan tänka på data i termer som är meningsfulla med avseende på problemet som löses.,