I have the follow two questions :
How many sequences $a_1,a_2,...,a_n$ in length $k$ so $a_i \in \{1,2,3,4....,n\}$ satisfy :
1) $a_1<a_2<....<a_k$ while $(a_{i+1} \neq a_i+1)$
2) $a_1 \leq a_2 \leq .... \leq a_k$ while $(a_{i+1} \neq a_i+1)$
I did some thinking about these questions, if I understood it correctly $a_1,...a_n$ are numbers therefore the question is to choose $k$ numbers without sequential numbers yet find it hard to solve, I thought of maybe using inclusion exclusion principle since I don't find a way to count this.
Any ideas? Thanks.
From the original length $k$ sequence $a_1,\dots,a_k$, we form a bijection to the related length $k+1$ sequence $b_1,\dots,b_{k+1}$ where
$b_i = \begin{cases} a_1&\text{if}~i=1\\ a_i-a_{i-1}&\text{if}~i\in\{2,3,\dots,k\}\\ n-a_k&\text{if}~i=k+1\end{cases}$
Notice that $b_1+b_2+b_3+\dots+b_{k+1} = a_1+(a_2-a_1)+(a_3-a_2)+\dots+n-a_k = n$ as the series telescopes.
Given the conditions that $1\leq a_1\leq a_2\leq a_3\leq\dots \leq n$, this implies the conditions:
$\begin{cases}b_1+b_2+\dots+b_{k+1} = n\\ 1\leq b_1\\0\leq b_2\\ \vdots\\ 0\leq b_{k+1}\end{cases}$
Alternatively, given the conditions that $0<a_1<a_2<a_3<\dots a_k< n+1$ this implies the conditions:
$\begin{cases} b_1+b_2+\dots+b_{k+1} = n\\ 1\leq b_1\\ 1\leq b_2\\ \vdots\\ 1\leq b_k\\0\leq b_{k+1}\end{cases}$
If you add the additional condition that $a_i\neq a_{i-1}+1$ for any $i$ (note: your typo $a_i\neq a_{i+1}+1$ is always true since $a_i\leq a_{i+1}<a_{i+1}+1$ in both scenarios), then this is equivalent to adding the restriction that $b_i\neq 1$ for any $i\in\{2,3,\dots,k\}$
In the case with strict inequalities, this is easily managed by making the change of variable $c_1=b_1-1$, $c_i = b_i-2$ for each $i\in\{2,3,\dots,k\}$. Approach as usual with stars and bars.
In the case with $a_1\leq a_2\leq\dots$, then you can approach as in my answer for Number of ways to write $n$ as sum of $k$ non-negative integers without 1, iterating over how many and which of the $b_i$ are zero.
As an aside and to make for a more complete answer, the question of finding how many integer solutions there are to the system:
$\begin{cases} x_1+x_2+\dots+x_k=n\\ 0\leq x_i~\text{for each}~i\end{cases}$
can be found via stars-and-bars and has answer $\binom{n+k-1}{k-1}=\binom{n+k-1}{n} = \left(\!\!\binom{n}{k}\!\!\right)$